\[LeftTee]

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