Template:SimpleHeader
From Event-B
Jump to navigationJump to search
Template use to specify a table header for describing ASCII representation of event-b symbols
Usage
{{SimpleHeader}}
|-
|tt||fff
|-
|aa||bb
|}
Example
| tt | fff |
| aa | bb |
