Template:ASRow

From Event-B
Revision as of 20:46, 10 September 2008 by imported>Mathieu
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 \min

Template