Recommendations
From LLWiki
(Difference between revisions)
(recommendation for username) |
(Mathematical typesetting) |
||
| 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 |
||
| + | |||
| + | == Mathematical typesetting == |
||
| + | |||
| + | === Formulas === |
||
| + | |||
| + | * use the macros defined in the [[LLWiki LaTeX Style]] |
||
| + | |||
| + | === Proofs === |
||
| + | |||
| + | The syntax for proofs is based on the [http://whttp://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/ bussproofs.sty] package. The only allowed macros are those used in the following example: |
||
| + | |||
| + | <pre> |
||
| + | \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 |
||
| + | </pre> |
||
| + | |||
| + | <math> |
||
| + | \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 |
||
| + | </math> |
||
Revision as of 15:57, 28 December 2008
Contents |
User account
- use "FirstName LastName" as Username
- use a valid e-mail address
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
