Push ← ∾
∾
   Pop ← ¯1⊸↓
¯1⊸↓
   Empty ← 0=≠
0=≠
   1‿2‿3 Push 4
⟨ 1 2 3 4 ⟩
   Pop 1‿2‿3
⟨ 1 2 ⟩
   Empty 1‿2‿3
0
   Empty ⟨⟩
1