\/ is the ASCII symbol for logic disjunction (\lor).