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

Revision as of 16:20, 2 September 2008

Template use to specify a named inference rule

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

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

HYP

border-collapse:collapse;

@@ Line 1: / Line 1: @@
 <noinclude>
-Template use to specify an icon:
+Template use to specify a named inference rule
 == Usage ==
-<nowiki>{{icon|iconname}}</nowiki>
+<pre><nowiki>
-or
+{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
-<nowiki>{{icon|iconname|alternative text}}</nowiki>
+</nowiki></pre>
 == Example ==
-Click {{icon|newprj_wiz}} and the create a component.
+{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
-You can also find {{icon|newprj_wiz|Create new project}} in the project explorer.
 [[Category:Typesetting template]]
+border-collapse:collapse;
 == Template ==
-</noinclude><!--
+</noinclude>
---><div class="typeset-icon" style="display:inline;"><table style="border:1px solid #aaaaaa;  display:inline; " ><tr><td style="vertical-align:sub;height:24px;">[[Image:{{{1}}}.gif|16x16px|{{{2| }}}]]</td></tr></table></div>
+<includeonly>
+{|class="Infrule" text-align="center" border="1" rules="void" frame="box" cellspacing="4" cellpadding="15"  style="margin:1em 1em 1em 0; border-color: #AAAAAA; empty-cells:show; display:inline-table;{{{style|}}}"
+|{{{2}}}
+|{{{1}}}
+|}</includeonly>