IT
∧∨
∧∨<>