LLWiki LaTeX Style

Mathematical notations

$A\orth$	A\orth
$A\biorth$	A\biorth
$A\triorth$	A\triorth
$A\tens B$	A\tens B
$A\parr B$	A\parr B
$A\plus B$	A\plus B
$A\with B$	A\with B
$\one$	\one
$\bot$	\bot
$\zero$	\zero
$\top$	\top
$\oc A$	\oc A
$\wn A$	\wn A
$A\limp B$	A\limp B
$A\nlimp B$	A\nlimp B
$A\limpinv B$	A\limpinv B
$A\nlimpinv B$	A\nlimpinv B
$A\linequiv B$	A\linequiv B
$A\nlinequiv B$	A\nlinequiv B
$\shpos A$	\shpos A
$\shneg A$	\shneg A
$\shift A$	\shift A
$\pg A$	\pg A
$A\imp B$	A\imp B
$\sem{A}$	\sem{A}
$\web{A}$	\web{A}
$A\coh B$	A\coh B
$A\scoh B$	A\scoh B
$A\incoh B$	A\incoh B
$A\sincoh B$	A\sincoh B
$A\cliq B$	A\cliq B
$\set{x}{P}$	\set{x}{P}
$\powerset{A}$	\powerset{A}
$\finpowerset{A}$	\finpowerset{A}
$\mulset{A}$	\mulset{A}
$\finmulset{A}$	\finmulset{A}
$\Bot$	\Bot
$A\Perp B$	A\Perp B
$A\pinj B$	A\pinj B
$\inner{A}{B}$	\inner{A}{B}
$\Inner{A}{B}$	\Inner{A}{B}

Proof trees

Proof trees are described using a postfix syntax and terminated with \DisplayProof

Description	Command	Example	LaTeX source
Axiom node (for hypotheses)	\AxRule	$\AxRule{\vdash A} \DisplayProof$	\AxRule{\vdash A} \DisplayProof
Nullary rule (for logical axioms)	\NulRule	$\NulRule{A \vdash A} \DisplayProof$	\NulRule{A \vdash A} \DisplayProof
Unary rule	\UnaRule	$\AxRule{\vdash \wn\Gamma, A} \UnaRule{\vdash \wn\Gamma, \oc A} \DisplayProof$	\AxRule{\vdash \wn\Gamma, A} \UnaRule{\vdash \wn\Gamma, \oc A} \DisplayProof
Binary rule	\BinRule	$\AxRule{\Gamma\vdash A} \AxRule{\Delta,A\vdash C} \BinRule{\Gamma,\Delta\vdash C} \DisplayProof$	\AxRule{\Gamma\vdash A} \AxRule{\Delta,A\vdash C} \BinRule{\Gamma,\Delta\vdash C} \DisplayProof
Ternary rule	\TriRule	$\AxRule{\vdash A} \AxRule{\vdash B} \AxRule{\vdash C} \TriRule{\vdash A\land B\land C} \DisplayProof$	\AxRule{\vdash A} \AxRule{\vdash B} \AxRule{\vdash C} \TriRule{\vdash A\land B\land C} \DisplayProof
Label (before any of the above)	\LabelRule	$\AxRule{\Gamma\vdash A} \AxRule{\Delta,A\vdash C} \LabelRule{\rulename{cut}} \BinRule{\Gamma,\Delta\vdash C} \DisplayProof$	\AxRule{\Gamma\vdash A} \AxRule{\Delta,A\vdash C} \LabelRule{\rulename{cut}} \BinRule{\Gamma,\Delta\vdash C} \DisplayProof
Proof ellipsis (two arguments !)	\VdotsRule	$\AxRule{[A]} \VdotsRule{\pi}{B} \UnaRule{A\imp B} \DisplayProof$	\AxRule{[A]} \VdotsRule{\pi}{B} \UnaRule{A\imp B} \DisplayProof