∨^ϖ^∨