\[DownArrow]
• 中缀箭头运算符.• x y 在缺省情况下解释为 DownArrow[x, y]. • 用于表示单调减小到一个极限值。• 有时用作逻辑或非。• 有时用前缀形式表示一个集合的闭包。• 可扩展字符。• 参见Mathematica 全书：3.10.4部分.• 参见： \[DownTeeArrow], \[DownArrowBar], \[DoubleDownArrow], \[LeftDownVector], \[UpArrow].
\[DownArrow]
y 在缺省情况下解释为 DownArrow[x, y]. 
