Template:InfRule
From Event-B
Revision as of 15:06, 10 September 2008 by imported>Mathieu
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:
HYP |