\[DoubleLeftRightArrow] (Mathematica Character Name)

Unicode: 21D4. Alias: Esc <=> Esc. Infix arrow operator. x ⇔ y is by default interpreted as DoubleLeftRightArrow[x,y]. Used in mathematics to indicate logical equivalence. ...

\[DoubleLeftTee] (Mathematica Character Name)

Unicode: 2AE4. Infix operator. x ⫤ y is by default interpreted as DoubleLeftTee[x,y]. x ⫤ y ⫤ z groups as (x ⫤ y) ⫤ z. Used in mathematics to indicate various strong forms of ...

\[DoubleLongLeftArrow] (Mathematica Character Name)

Unicode: 27F8. Alias: Esc <== Esc. Infix arrow operator. x ⟸ y is by default interpreted as DoubleLongLeftArrow[x,y].

\[DoubleLongLeftRightArrow] (Mathematica Character Name)

Unicode: 27FA. Alias: Esc <==> Esc. Infix arrow operator. x ⟺ y is by default interpreted as DoubleLongLeftRightArrow[x,y]. Not the same as \[Equivalent].

\[DoubleLongRightArrow] (Mathematica Character Name)

Unicode: 27F9. Alias: Esc ==> Esc. Infix arrow operator. x ⟹ y is by default interpreted as DoubleLongRightArrow[x,y].

\[DoublePrime] (Mathematica Character Name)

Unicode: 2033. Alias: Esc '' Esc. Letter-like form. Used to indicate angles in seconds or distances in inches.

\[DoubleRightTee] (Mathematica Character Name)

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 ...

\[DoubleUpDownArrow] (Mathematica Character Name)

Unicode: 21D5. Infix arrow operator. x ⇕ y is by default interpreted as DoubleUpDownArrow[x,y]. Extensible character.

\[DownArrowBar] (Mathematica Character Name)

Unicode: 2913. Infix arrow operator. x ⤓ y is by default interpreted as DownArrowBar[x,y]. Sometimes used as an indicator of depth. Extensible character.

\[DownArrow] (Mathematica Character Name)

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. ...