m /\ term
--          term \/ term
--          ~ term
--          True
--          False
--          identifier (universe , ... universe)
--
-- also Unicode supported, so that copypasta works

sequent :: Parser S
sequent =  try (S <$> commaSep expr <* choice [reservedOp "|-", reservedOp "⊢" ] <*> expr)
       <|> try (S [] <$> expr)
       <?> "sequent"

table :: [[Oper
sequent :: Parser S
sequent =  try (S <$> commaSep expr <* choice [reservedOp "|-", reservedOp "⊢" ] <*> expr)
       <|> try (S [] <$> expr)
       <?> "sequent"
sequent =  try (S <$> commaSep expr <* choice [reservedOp "|-", reservedOp "⊢" ] <*> expr)
       <|> try (S [] <$> expr)
       <?> "sequent"