Recommendations

User account

• use "FirstName LastName" as Username
• use a valid e-mail address

Mathematical typesetting

Formulas

• use the macros defined in the LLWiki LaTeX Style

Proofs

The syntax for proofs is based on the bussproofs.sty package. The only allowed macros are those used in the following example:

\AxRule{{}\vdash\Gamma,A\parr B\parr C}
\NulRule{{}\vdash A,A\orth}
\NulRule{{}\vdash B,B\orth}
\NulRule{{}\vdash C,C\orth}
\TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
\LabelRule{\textit{cut}}
\BinRule{{}\vdash\Gamma,A,B,C}
\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
\DisplayProof

$\AxRule{{}\vdash\Gamma,A\parr B\parr C} \NulRule{{}\vdash A,A\orth} \NulRule{{}\vdash B,B\orth} \NulRule{{}\vdash C,C\orth} \TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth} \LabelRule{\textit{cut}} \BinRule{{}\vdash\Gamma,A,B,C} \UnaRule{{}\vdash\Gamma,A\parr B\parr C} \DisplayProof$