⊢ — Same / Right

Function. Keys: Alt-'. 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