\[LeftTeeArrow]

  • Unicode: 21A4.
  • 中置形の矢印演算子.
  • x y はデフォルトでLeftTeeArrow[x,y]として解釈される.
  • 伸長可能文字.