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

{|class="Infrule" text-align="center" border="2" cellspacing="4" cellpadding="15" rules="all" style="margin:1em 1em 1em 0; border:hidden 0px; empty-cells:show;"

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

|}

border-collapse:collapse;