The draft Standard notation for (generic) conjectures is acceptable as a cadiz sequent. The syntax of a sequent is extended in cadiz to allow multiple nested scopes of local declarations, multiple antecedents, and multiple consequents.
Paragraph | = | [ [-tok , Formals , ]-tok ] , [ DeclPart , { ![]() ![]() |
The LATEX mark-up of is \dagger.
The troff mark-up of
is dagger.