LLWiki LaTeX Style
From LLWiki
(Difference between revisions)
(→Mathematical notations: \Bot and \Perp added) |
Lionel Vaux (Talk | contribs) (example of proof tree) |
||
| Line 94: | Line 94: | ||
|- |
|- |
||
|} |
|} |
||
| + | |||
| + | == Proof trees == |
||
| + | |||
| + | <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{\rulename{cut}} |
||
| + | \BinRule{{}\vdash\Gamma,A,B,C} |
||
| + | \UnaRule{{}\vdash\Gamma,A\parr B\parr C} |
||
| + | \DisplayProof |
||
| + | </math> |
||
Revision as of 10:39, 10 June 2009
Mathematical notations
|
A\orth |
|
A\biorth |
|
A\triorth |
|
A\tens B |
|
A\parr B |
|
A\plus B |
|
A\with B |
|
\one |
|
\bot |
|
\zero |
|
\top |
|
\oc A |
|
\wn A |
|
A\limp B |
|
A\linequiv B |
|
\shpos A |
|
\shneg A |
|
\shift A |
|
\pg A |
|
A\imp B |
|
\sem{A}
|
|
\web{A}
|
|
A\coh B |
|
A\scoh B |
|
A\incoh B |
|
A\sincoh B |
|
A\cliq B |
|
\set{x}{P}
|
|
\Bot |
|
A\Perp B |
Proof trees
