\[DownArrow]

  • Unicode: 2193.
  • 中缀箭头运算符.
  • x y 默认情况下解释为 DownArrow[x,y].
  • 用于表示单调递减到某一极限值.
  • 有时候用于表示逻辑或非.
  • 有时候用于前缀形式，表示一个集合的闭集.
  • 可扩展字符.