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

Revision as of 14:37, 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

@@ 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]]
-[[Category:Typesetting templates]]
 == Template ==
-</noinclude><!--
+</noinclude>
---><div class="typeset-icon">[[Image:{{{1}}}.gif|16x16px|{{{2| }}}]]</div>
+<includeonly>{|class="Infrule" text-align="center" border="1" cellspacing="4" cellpadding="15" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;{{{style|}}}"
+|- style="border:solid 1px #AAAAAA;"
+|style="border-width: 0px;border-style: hidden;" |{{{2}}}
+|style="font-family:sans-serif;border-width: 0px;border-style: hidden;"|{{{1}}}
+|}