Unicode: 21C6. Infix arrow operator. x ⇆ y is by default interpreted as LeftArrowRightArrow[x,y]. Used in mathematics to indicate logical equivalence. Sometimes used to ...
Unicode: 2308. Alias: Esc lc Esc. Matchfix operator with built-in evaluation rules. ⌈ x ⌉ is by default interpreted as Ceiling[x]. Extensible character.
Unicode: 2961. Infix arrow-like operator. x ⥡ y is by default interpreted as LeftDownTeeVector[x,y]. Extensible character.
Unicode: 2959. Infix arrow-like operator. x ⥙ y is by default interpreted as LeftDownVectorBar[x,y]. Extensible character.
Unicode: 21C3. Infix arrow-like operator. x ⇃ y is by default interpreted as LeftDownVector[x,y]. Extensible character.
Unicode: 230A. Alias: Esc lf Esc. Matchfix operator with built-in evaluation rules. ⌊ x ⌋ is by default interpreted as Floor[x]. Extensible character.
Unicode: 294E. Infix arrow-like operator. x ⥎ y is by default interpreted as LeftRightVector[x,y]. Extensible character.
Unicode: 21A4. Infix arrow operator. x ↤ y is by default interpreted as LeftTeeArrow[x,y]. Extensible character.
Unicode: 295A. Infix arrow-like operator. x ⥚ y is by default interpreted as LeftTeeVector[x,y]. Extensible character.
Unicode: 29CF. Infix ordering operator. x ⧏ y is by default interpreted as LeftTriangleBar[x,y].