Recommendations

From LLWiki
Revision as of 23:01, 12 February 2009 by Olivier Laurent (Talk | contribs)

Jump to: navigation, search

Contents

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

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{\rulename{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{\rulename{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

Personal tools