Difference between revisions of "Template:ASRow"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m
imported>Mathieu
m
 
(4 intermediate revisions by the same user not shown)
Line 3: Line 3:
 
== Usage ==
 
== Usage ==
 
<pre><nowiki>{{ASHeader}}
 
<pre><nowiki>{{ASHeader}}
{{ASRow|tt|tt}}
+
{{ASRow}}|tt||tt
{{ASRow|min|\min}}
+
{{ASRow}}|min||<math>\min</math>
 
|}
 
|}
 
</nowiki></pre>
 
</nowiki></pre>
 
== Example ==
 
== Example ==
 
{{ASHeader}}
 
{{ASHeader}}
{{ASRow|tt|tt}}
+
{{ASRow}}|tt||tt
{{ASRow|min|\min}}
+
{{ASRow}}|min||<math>\min</math>
 
|}
 
|}
[[Category:Typesetting template]]
+
[[Category:Table templates]]
 
 
 
== Template ==
 
== Template ==
 
</noinclude>
 
</noinclude>
<includeonly>|- class="ASrow" align="center"
+
<includeonly>|- class="ASrow" align="center" style="font-family:monospace;"
| {{{1}}} || <math>{{{2}}}</math></includeonly><noinclude>
+
</includeonly><noinclude>

Latest revision as of 20:46, 10 September 2008

Template use to specify a table row for describing ASCII representation of event-b symbols

Usage

{{ASHeader}}
{{ASRow}}|tt||tt
{{ASRow}}|min||<math>\min</math>
|}

Example

ASCII Symbol
tt tt
min \min

Template