Coq uses this notation for (propositional) and and or.