Difference between revisions of "Template:ASHeader"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (Robot: Changing Category:Typesetting template) |
imported>Mathieu |
||
| Line 17: | Line 17: | ||
|aa||bb | |aa||bb | ||
|} | |} | ||
| − | [[Category:Typesetting | + | [[Category:Typesetting tables]] |
== Template == | == Template == | ||
</noinclude> | </noinclude> | ||
Revision as of 20:38, 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 |
