Recommendations

User account

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

Conventions

• Use English only, even for comments, discussions, ...
• Use == Header == for higher-level headers, do not use only one equals sign on a side.

Notations

For uniformity, use the common notations when they are already defined, and add your notations to the notations page when you introduce new ones.

Definitions and theorems

For theorem-style environments, use the appropriate predefined templates: Definition, Theorem, Proposition, Lemma, Corollary (with an optional parameter "title"). Additional templates are Proof for proofs and Remark for remarks.

{{Definition|title=Concept|A new concept.}} {{Theorem|This is a nice concept.}} {{Proof|Left to the reader.}} {{Remark|Really nice, isn't it?}}

Definition (Concept) A new concept. Theorem This is a nice concept. Proof. Left to the reader. Remark: Really nice, isn't it?

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$

Set of rules

For a group of rules, separate rules on a line by \qquad and separate lines by <br />.

<math>
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\text{Rule}_1}
\BinRule{\textit{Concl}}
\DisplayProof
\qquad
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\text{Rule}_1}
\BinRule{\textit{Concl}}
\DisplayProof
</math>

<br />

<math>
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\text{Rule}_3}
\BinRule{\textit{Concl}}
\DisplayProof
\qquad
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\text{Rule}_4}
\BinRule{\textit{Concl}}
\DisplayProof
</math>

$\AxRule{\textit{Hyp}_1} \AxRule{\textit{Hyp}_2} \LabelRule{\text{Rule}_1} \BinRule{\textit{Concl}} \DisplayProof \qquad \AxRule{\textit{Hyp}_1} \AxRule{\textit{Hyp}_2} \LabelRule{\text{Rule}_2} \BinRule{\textit{Concl}} \DisplayProof$

$\AxRule{\textit{Hyp}_1} \AxRule{\textit{Hyp}_2} \LabelRule{\text{Rule}_3} \BinRule{\textit{Concl}} \DisplayProof \qquad \AxRule{\textit{Hyp}_1} \AxRule{\textit{Hyp}_2} \LabelRule{\text{Rule}_4} \BinRule{\textit{Concl}} \DisplayProof$