Template:ASRow
From Event-B
Jump to navigationJump to search
Template use to specify a table row for describing ASCII representation of event-b symbols
Usage
{{ASHeader}}
{{ASRow}}|tt||tt
{{ASRow}}|min||<math>\min</math>
|}
Example
| ASCII | Symbol |
|---|---|
| tt | tt |
| min | 
|
