LLWiki LaTeX Style
From LLWiki
(Difference between revisions)
Lionel Vaux (Talk | contribs) (example of proof tree) |
(→Mathematical notations: \powerset,... added) |
||
| Line 86: | Line 86: | ||
| <math>\set{x}{P}</math> |
| <math>\set{x}{P}</math> |
||
| <pre>\set{x}{P}</pre> |
| <pre>\set{x}{P}</pre> |
||
| + | |- |
||
| + | | <math>\powerset{A}</math> |
||
| + | | <pre>\powerset{A}</pre> |
||
| + | |- |
||
| + | | <math>\finpowerset{A}</math> |
||
| + | | <pre>\finpowerset{A}</pre> |
||
| + | |- |
||
| + | | <math>\mulset{A}</math> |
||
| + | | <pre>\mulset{A}</pre> |
||
| + | |- |
||
| + | | <math>\finmulset{A}</math> |
||
| + | | <pre>\finmulset{A}</pre> |
||
|- |
|- |
||
| <math>\Bot</math> |
| <math>\Bot</math> |
||
Revision as of 18:23, 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}
|
|
\powerset{A}
|
|
\finpowerset{A}
|
|
\mulset{A}
|
|
\finmulset{A}
|
|
\Bot |
|
A\Perp B |
Proof trees
