⋄
Separates statements in blocks⋄ programs and arrays.
a ← 3 ⋄ ⊢ b ← 2 2 1 ⋄ 2 ⋄ 3 3 ⟨1 ⋄ 2 ⋄ 3⟩ ⟨ 1 2 3 ⟩ {1 ⋄ 2 ⋄ 3} 3