\[DoubleRightTee]

  • Unicode: 22A8.
  • 中置形演算子．
  • x y はデフォルトでDoubleRightTee[x,y]として解釈される．
  • x y z は x (y z)とグループ分けされる．
  • 数学で各種論理包合の強形式，しばしばトートロジー包合を示すのに使用される．
  • 前置形式ではトートロジーを示すのに使用される．