Recommendations

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(Mathematical typesetting)
(use template for theorems)
Line 3: Line 3:
 
* use "FirstName LastName" as Username
 
* use "FirstName LastName" as Username
 
* use a valid e-mail address
 
* use a valid e-mail address
  +
  +
== Definitions and theorems ==
  +
  +
For theorem-style environments, use the appropriate predefined [http://www.mediawiki.org/wiki/Templates templates]: [[Templage:Definition|Definition]], [[Template:Theorem|Theorem]], [[Template:Proposition|Proposition]], [[Template:Lemma|Lemma]], [[Template:Corollary|Corollary]] (with an optional parameter "title").
  +
A template [[Template:Proof|Proof]] is also defined for proofs.
  +
  +
{| border="1" cellpadding="10" cellspacing="1"
  +
|-
  +
|<pre>
  +
{{Definition|title=Concept|A new concept.}}
  +
  +
{{Theorem|This is a nice concept.}}
  +
  +
{{Proof|Left to the reader.}}
  +
</pre>
  +
|
  +
{{Definition|title=Concept|A new concept.}}
  +
  +
{{Theorem|This is a nice concept.}}
  +
  +
{{Proof|Left to the reader.}}
  +
|-
  +
|}
   
 
== Mathematical typesetting ==
 
== Mathematical typesetting ==

Revision as of 17:18, 28 December 2008

Contents

User account

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

Definitions and theorems

For theorem-style environments, use the appropriate predefined templates: Definition, Theorem, Proposition, Lemma, Corollary (with an optional parameter "title"). A template Proof is also defined for proofs.

{{Definition|title=Concept|A new concept.}}

{{Theorem|This is a nice concept.}}

{{Proof|Left to the reader.}}

Definition (Concept)

A new concept.

Theorem

This is a nice concept.

Proof. Left to the reader.

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

Personal tools