Difference between pages "User:Mathieu/Test" and "Template:L end"

Revision as of 13:00, 23 February 2009

Template use to typeset the end of a component.

MACHINE

AntiCollide

REFINES

Safety

SEES

Network

VARIABLES

v1

END

END

@@ Line 1: / Line 1: @@
-<center>
+<noinclude>
-{|
+==Usage==
-|<math>(-E)*\ldots*(-F)\;==\; E*\ldots*F   </math> (if an even number of -)
+Template use to typeset the end of a component.
-|-
+==Example==
-|<math>(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F)   </math> (if an odd number of -)
-|}
-<math>
+{{l_machine|AntiCollide}}
-\frac{\ }{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}
+{{l_refines|Safety}}
-</math>
+{{l_sees|Network|CDV|Acyclic}}
+{{l_Variables|v1|v2|v3}}
-{|
+{{l_end}}
-|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>
-| HYP
-|}
-{{InfRule|HYP|<math>\frac{}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
+[[Category:Listing templates]]
-</center>
+==Template==
+</noinclude><!--
-==Main page tests==
+--><p class="typeset-l_end" style="font-family:monospace;color:black;font-weight:bold;">END</p>
+</div>
-Try : <math<noinclude></noinclude>> {{{1}}} </math<noinclude></noinclude>> in a template