# 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

UNIQ68d7ab6e5309ffe1-math-00000067-QINU