< ∧ >