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