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