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

Revision as of 11:12, 10 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>
+==Example==
-{{InfRule| ''name'' | ''math formula typeset with a <math>\frac{}{}</math> expression'' }}
+Hit {{key|F5}}.
-</nowiki></pre>
+==Template==
-== 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><!--
-</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|}}}"
+--><div class="typeset-key" style="display:inline;">'''''{{{1}}}'''''</div>
-|{{{2}}}
-|{{{1}}}
-|}</includeonly>