RightTee

RightTee[x,y]
displays as .

DetailsDetails

  • RightTee[x,y] has no built-in meaning.
  • is by default interpreted as RightTee[x,y].
  • can be entered as \[RightTee] or EscrTEsc.
  • groups as .
Introduced in 1996
(3.0)