Template:InfRule

From Event-B
Jump to: navigation, search

Template use to specify a named inference rule

Usage

{{InfRule| ''name'' | ''math formula typeset with a <math>\frac{}{}</math> expression'' }}

Example

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

gives:

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

Template