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: 21D2. Alias: Esc ␣=> Esc. Infix arrow operator. x ⇒ y is by default interpreted as DoubleRightArrow[x,y]. Used in mathematics to indicate various strong forms of ...
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: F6E6. Alias: Esc dsa Esc.
Unicode: F6E7. Alias: Esc dsb Esc.
Unicode: F7A4. Alias: Esc dsA Esc.
Unicode: F7A5. Alias: Esc dsB Esc.
Unicode: F7A6. Alias: Esc dsC Esc.
Unicode: F7A7. Alias: Esc dsD Esc.