Template:ASHeader: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu mNo edit summary |
imported>Mathieu |
||
(2 intermediate revisions by the same user not shown) | |||
Line 17: | Line 17: | ||
|aa||bb | |aa||bb | ||
|} | |} | ||
[[Category: | [[Category:Table templates]] | ||
== Template == | == Template == | ||
</noinclude> | </noinclude> |
Latest revision as of 20:46, 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 |