\[RightTeeArrow]

  • Unicode: 21A6.
  • 中置形の矢印演算子．
  • x y はデフォルトでRightTeeArrow[x,y]として解釈される．
  • 数学では変換の意味に使われ，特に空間の特定要素への写像を示すために使用される．
  • 論理学で演繹可能性を示すのに使用される．
  • 伸長可能文字．