RightTee \[RightTee]
• 别名: rT.
• 中缀运算符。
• x  y 在缺省情况下解释成 RightTee[x, y].
• x  y  z 分组成 x  (y  z).
• 用在数学中表示逻辑推导或证明。
• 参见Mathematica 全书：1.10.8, 3.10.4和3.10.4部分.
• 参见： \[DoubleRightTee], \[RightTeeArrow], \[RightTeeVector], \[LeftTee], \[DownTee], \[RightBracketingBar].
|
