Skip to main content

⊢ — Same / Right

Function. Keys: Alt-'. Hanzi: 右. Ranks: ∞ monadic, ∞ ∞ dyadic

⊢Y and X⊢Y return Y.

⊢1 2               ⍝ 1 2
1 2⊢3 4            ⍝ 3 4

Both arguments evaluate.

Inverse

⊢⁻ is ⊢.

3⊢⁻5   ⍝ 5