Unicode: 27F8. Alias: Esc <== Esc. Infix arrow operator. x ⟸ y is by default interpreted as DoubleLongLeftArrow[x,y].
Unicode: 27FA. Alias: Esc <==> Esc. Infix arrow operator. x ⟺ y is by default interpreted as DoubleLongLeftRightArrow[x,y]. Not the same as \[Equivalent].
Unicode: 27F9. Alias: Esc ==> Esc. Infix arrow operator. x ⟹ y is by default interpreted as DoubleLongRightArrow[x,y].
Unicode: 2033. Alias: Esc '' Esc. Letter-like form. Used to indicate angles in seconds or distances in inches.
Unicode: 22A8. Infix operator. x ⊨ y is by default interpreted as DoubleRightTee[x,y]. x ⊨ y ⊨ z groups as x ⊨ (y ⊨ z). Used in mathematics to indicate various strong forms ...
Unicode: 21D5. Infix arrow operator. x ⇕ y is by default interpreted as DoubleUpDownArrow[x,y]. Extensible character.
Unicode: 2913. Infix arrow operator. x ⤓ y is by default interpreted as DownArrowBar[x,y]. Sometimes used as an indicator of depth. Extensible character.
Unicode: 2193. Infix arrow operator. x ↓ y is by default interpreted as DownArrow[x,y]. Used to indicate monotonic decrease to a limit. Sometimes used for logical nor. ...
Unicode: 21F5. Infix arrow operator. x ⇵ y is by default interpreted as DownArrowUpArrow[x,y]. Extensible character.
Unicode: F755. Alias: Esc dbv Esc. Letter-like form. Used in an overscript position as a diacritical mark.