Difference between revisions of "Template:ASHeader"
From Event-B
Jump to navigationJump to searchimported>Mathieu m |
imported>Mathieu m (Robot: Changing Category:Typesetting template) |
||
Line 17: | Line 17: | ||
|aa||bb | |aa||bb | ||
|} | |} | ||
− | [[Category:Typesetting | + | [[Category:Typesetting templates]] |
− | |||
== Template == | == Template == | ||
</noinclude> | </noinclude> |
Revision as of 20:28, 10 September 2008
Template use to specify a table header for describing ASCII representation of event-b symbols
Usage
{{ASHeader}} |- |tt||fff |- |aa||bb |}
Example
ASCII | Symbol |
---|---|
tt | fff |
aa | bb |