\[DownTeeArrow]
• 箭头类中缀运算符.• x y在缺省情况下解释为 DownTeeArrow[x, y]. • 可扩展字符。• 参见Mathematica 全书：3.10.4部分.• 参见： \[DownArrowBar], \[RightDownTeeVector], \[DownTee], \[UpTeeArrow].
\
