Template:ASHeader

From Event-B

Jump to: navigation, search

Template use to specify a table header for describing ASCII representation of event-b symbols

Usage 

{{ASHeader}}
|-
|tt||fff
|-
|aa||bb
|}

Example

ASCII Symbol
ttfff
aabb

Template

Retrieved from "http://wiki.event-b.org/index.php/Template:ASHeader"
Personal tools