←
DoubleLeftRightArrow
→
DoubleLongLeftArrow
/
Reference of Built-in Symbols
/
Operators without Built-in Meanings
/
Infix Operators without Built-in Meanings
/
DoubleLeftTee
/
DoubleLeftTee (
⫤
)
WML link
DoubleLeftTee[
x
,
y
, ...]
displays
x
⫤
y
⫤ ...
DoubleLeftTee[x, y, z]
a \[DoubleLeftTee] b
←
DoubleLeftRightArrow
→
DoubleLongLeftArrow