Added Disjunction mode (\/)