DoubleLeftRightArrow \[DoubleLeftRightArrow]
• 别名:  >.
• 中缀箭头运算符.
• x  y 在缺省情况下解释为DoubleLeftRightArrow[x, y].
• 用在数学中表示逻辑相等。
• 可扩展字符。
• 参见Mathematica 全书：3.10.4部分.
• 参见： \[DoubleLongLeftRightArrow], \[LeftRightArrow], \[RightArrowLeftArrow], \[LeftArrowRightArrow], \[Congruent], \[Implies].
|
