Template:InfRule

Template use to specify a named inference rule

Usage

{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}

Example

style="border-width: 0px 0px 0px 0px;border-style: hidden hidden hidden hidden;"

$\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}$

style="border-width: 0px 0px 0px 0px;border-style: hidden hidden hidden hidden;"

HYP