Template:InfRule

From Event-B
Revision as of 14:20, 2 September 2008 by imported>Mathieu (New template for typesetting inference rule)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Template use to specify a named inference rule

Usage

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

Example

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

Template

Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:InfRule&oldid=12893’