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: 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: 2026. Alias: Esc ... Esc. Letter-like form. Used to indicate omitted elements in a row of a matrix. \[Ellipsis] on its own will act as a symbol.
Unicode: F7D4. Alias: Esc ent Esc. Letter-like form. Representation of the Enter key on a keyboard. Used in describing how to type textual input.
Unicode: F769. Alias: Esc ␣esc Esc. Letter-like form. Representation of the Escape key on a keyboard. Used in describing how to type aliases for special characters in ...
Unicode: 03C2. Alias: Esc fs Esc. Greek letter. Used in written Greek when σ occurs at the end of a word. Not commonly used in technical notation. Not the same as \[Stigma].
Unicode: 301A. Alias: Esc [[ Esc. Compound operator with built-in evaluation rules. m〚i,j,… 〛 is by default interpreted as Part[m,i,j,…]. Sometimes used in mathematics to ...
Unicode: 2194. Alias: Esc <-> Esc. Infix arrow operator. x ↔ y is by default interpreted as LeftRightArrow[x,y]. Used in mathematics for various notions of equivalence and ...
Unicode: F761. Uninterpretable element. n is used on output to indicate n omitted pieces in an expression obtained from Short or Shallow. \[LeftSkeleton] indicates the ...
Unicode: 22A3. Alias: Esc lT Esc. Infix operator. x ⊣ y is by default interpreted as LeftTee[x,y]. x ⊣ y ⊣ z groups as (x ⊣ y) ⊣ z. Used in mathematics to indicate the lack ...