\[RightTeeArrow]
• 中缀箭头运算符。• x y 在缺省情况下解释成 RightTeeArrow[x, y]. • 用在数学中指定一个变换，经常指定在一个空间的特定元素的映射。• 也用在逻辑中指定可推论性。• 可扩展字符。• 参见Mathematica 全书：3.10.4部分.• 参见： \[RightTeeVector], \[RightTee], \[LeftTeeArrow], \[UpTeeArrow].
\[RightTeeArrow]
y 在缺省情况下解释成 RightTeeArrow[x, y]. 
