\[Therefore]

  • Unicode: 2234.
  • エイリアス：tf
  • 中置形演算子．
  • x y はデフォルトでTherefore[x,y]として解釈される．
  • x y z はx (y z)とグループ分けされる．