\[RightTee]

  • Unicode: 22A2.
  • エイリアス：rT
  • 中置形演算子．
  • x y はデフォルトでRightTee[x,y]として解釈される．
  • x y z は x (y z)とグループ分けされる．
  • 数学で論理包合または証明を示すのに使用される．