\[DownTee]

  • Unicode: 22A4.
  • エイリアス：dT
  • 中置形演算子．
  • x y はデフォルトでDownTee[x,y]として解釈される．