Right Tack (⊢)

⊢ 𝕩: Identity

Return 𝕩.

      ⊢ 5
5

𝕨 ⊢ 𝕩: Right

Return 𝕩.

      5 ⊢ 8
8

      'a' ⊢ 1‿2‿3
⟨ 1 2 3 ⟩