\[DoubleLeftTee]

  • Unicode: 2AE4.
  • 中置形演算子．
  • x y はデフォルトでDoubleLeftTee[x,y]として解釈される．
  • x y z は(x y) zとグループ分けされる．
  • 数学で y から x の論理包合のさまざまな強形式を示すのに使用され，しばしばトートロジー包合を意味する．