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

\[ErrorIndicator] (Mathematica Character Name)

Unicode: F767. Uninterpretable element. Generated to indicate the position of a syntax error in messages produced by functions like Get and ToExpression. Shown as ^^^ in ...

\[LeftBracketingBar] (Mathematica Character Name)

Unicode: F603. Alias: Esc l| Esc. Matchfix operator.  x  is by default interpreted as BracketingBar[x]. Used in mathematics to indicate absolute value (Abs), determinant ...

\[LeftDoubleBracket] (Mathematica Character Name)

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

\[LeftSkeleton] (Mathematica Character Name)

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

\[Precedes] (Mathematica Character Name)

Unicode: 227A. Infix ordering operator. x ≺ y is by default interpreted as Precedes[x,y]. Used in mathematics to indicate various notions of partial ordering. Often applied ...

\[RightBracketingBar] (Mathematica Character Name)

Unicode: F604. Alias: Esc r| Esc. Matchfix operator.  x  is by default interpreted as BracketingBar[x]. Used in mathematics to indicate absolute value (Abs), determinant ...

\[RightSkeleton] (Mathematica Character Name)

Unicode: F762. Uninterpretable element.  n  is used on output to indicate n omitted pieces in an expression obtained from Short or Shallow. \[RightSkeleton] indicates the ...

\[RightTeeArrow] (Mathematica Character Name)

Unicode: 21A6. Infix arrow operator. x ↦ y is by default interpreted as RightTeeArrow[x,y]. Used in mathematics to indicate a transformation, often the action of a mapping on ...

\[Sharp] (Mathematica Character Name)

Unicode: 266F. Letter-like form. Used to denote musical notes. Sometimes used in mathematical notation, typically to indicate some form of numbering or indexing. Not the same ...