←
RoundImplies
→
ShortLeftArrow
/
Reference of Built-in Symbols
/
Operators without Built-in Meanings
/
Infix Operators without Built-in Meanings
/
ShortDownArrow
/
ShortDownArrow
WML link
ShortDownArrow[
x
,
y
, ...]
displays
x
↓
y
↓ ...
ShortDownArrow[x, y, z]
a \[ShortDownArrow] b
←
RoundImplies
→
ShortLeftArrow