Template:ASRow
From Event-B
Revision as of 20:46, 10 September 2008 by imported>Mathieu
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 | 
|
