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: 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: 21F5. Infix arrow operator. x ⇵ y is by default interpreted as DownArrowUpArrow[x,y]. Extensible character.
Unicode: 2950. Infix arrow-like operator. x ⥐ y is by default interpreted as DownLeftRightVector[x,y]. Extensible character.
Unicode: 21BD. Infix arrow-like operator. x ↽ y is by default interpreted as DownLeftVector[x,y]. Extensible character.
Unicode: 21C1. Infix arrow-like operator. x ⇁ y is by default interpreted as DownRightVector[x,y]. Extensible character.
Unicode: 21A7. Infix arrow operator. x ↧ y is by default interpreted as DownTeeArrow[x,y]. Extensible character.
Unicode: 22A4. Alias: Esc dT Esc. Infix operator. x ⊤ y is by default interpreted as DownTee[x,y].