# 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

### Proofs

The syntax for proofs is based on the bussproofs.sty package, but available only through a sugar-coated specific to llwiki. Here is an example:

\AxRule{}
\VdotsRule{s}{{}\vdash\Gamma,A\imp B}
\AxRule{}
\VdotsRule{t}{{}\vdash\Gamma, A}
\BinRule{{}\vdash \Gamma, B}
\LabelRule{\rulename{modus ponens}}
\DisplayProof
\longrightarrow_\beta
\AxRule{}
\VdotsRule{s[t/x]}{{}\vdash\Gamma, B}
\DisplayProof


$\AxRule{} \VdotsRule{s}{{}\vdash\Gamma,A\imp B} \AxRule{} \VdotsRule{t}{{}\vdash\Gamma, A} \BinRule{{}\vdash \Gamma, B} \LabelRule{\rulename{modus ponens}} \DisplayProof \quad \longrightarrow_\beta \quad \AxRule{} \VdotsRule{s[t/x]}{{}\vdash\Gamma, B} \DisplayProof$

A list of all available macros for proofs is available on the page for the LLWiki LaTeX package.

### Set of rules

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

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

<br />

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


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

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