Template:InfRule: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
mNo edit summary
imported>Mathieu
m Robot: Changing Category:Typesetting template
 
(7 intermediate revisions by the same user not shown)
Line 2: Line 2:
Template use to specify a named inference rule
Template use to specify a named inference rule
== Usage ==
== Usage ==
<pre><nowiki>
{{InfRule| ''name'' | ''math formula typeset with a <math>\frac{}{}</math> expression'' }}
</nowiki></pre>
== Example ==
<pre><nowiki>
<pre><nowiki>
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
</nowiki></pre>
</nowiki></pre>
== Example ==
gives:
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
[[Category:Typesetting template]]
[[Category:Typesetting templates]]
== Template ==
== Template ==
</noinclude>
</noinclude><includeonly>{|class="Infrule" text-align="center" border="1"  frame="box" rules="none" cellspacing="4" cellpadding="15"  style="margin:1em 1em 1em 0; border-color: #AAAAAA; border-style:solid; empty-cells:show; display:inline-table;{{{style|}}}"
<includeonly>{|class="Infrule" text-align="center" border="1"  frame="box" rules="none" cellspacing="4" cellpadding="15"  style="margin:1em 1em 1em 0; border-color: #AAAAAA; border-style:solid; empty-cells:show; display:inline-table;{{{style|}}}"
|{{{2}}}
|{{#if|1|<math>}} {{{2}}} {{#if|1|</math>}}
|{{{1}}}
|{{{1}}}
|}</includeonly>
|}</includeonly>

Latest revision as of 20:29, 10 September 2008

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:

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

Template