Recommendations

Revision as of 16:12, 6 July 2009

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?}}

Mathematical typesetting

Formulas

• use the macros defined in the LLWiki LaTeX Style

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
\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 />.

<math>
\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
</math>

<br />

<math>
\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
</math>