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

DoubleRightTee (`⊨`)

DoubleRightTee[x, y, ...]: displays x ⊨ y ⊨ ...

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

← DoubleRightArrow

→ DoubleUpArrow