 |
- Unicode: 22A8.
- Infix operator.
- x
 y is by default interpreted as DoubleRightTee[x,y].
- x
 y  z groups as x  (y  z).
- Used in mathematics to indicate various strong forms of logical implication—often tautological implication.
- In prefix form, used to indicate a tautology.
|