, "ForAll", "Forall", "forall", "∀"] >> return ForAll

-- Parse a weight and then a fi
parseForAll = reservedOps ["A.", "ForAll", "Forall", "forall", "∀"] >> return ForAll
parseForAll = reservedOps ["A.", "ForAll", "Forall", "forall", "∀"] >> return ForAll