Template:SimpleHeader

From Event-B

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

Template