Recommendations

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(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

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