∨^ϖ^∨
 ∧ ∧