Difference between pages "Template:InfRule" and "Template:Key"

Revision as of 09:54, 7 July 2008

Template use to specify a key stroke: Hit F5.

{{{1}}}

@@ Line 1: / Line 1: @@
 <noinclude>
-Template use to specify a named inference rule
+==Usage==
-== Usage ==
+Template use to specify a key stroke:
-<pre><nowiki>
+Hit {{key|F5}}.
-{{InfRule| ''name'' | ''math formula typeset with a <math>\frac{}{}</math> expression'' }}
-</nowiki></pre>
-== Example ==
-<pre><nowiki>
-{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
-</nowiki></pre>
-gives:
-{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
 [[Category:Typesetting template]]
-== Template ==
 </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|}}}"
+'''''{{{1}}}'''''
-|{{{2}}}
-|{{{1}}}
-|}</includeonly>