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\linequiv B$	A\linequiv 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}
$\Bot$	\Bot
$A\Perp B$	A\Perp B

Proof trees

$\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$