/ Reference of Built-in Symbols /
Operators without Built-in Meanings / Infix Operators without Built-in Meanings / RightTee /

RightTee (`⊢`)

RightTee[x, y, ...]: displays x ⊢ y ⊢ ...

- RightTee[x, y, z]
- a \[RightTee] b

← RightDownVectorBar

→ RightTeeArrow