Template:ASRow

From Event-B
Revision as of 14:23, 1 September 2008 by imported>Mathieu (New page: <noinclude> Template use to specify a table row for describing ASCII representation of event-b symbols == Usage == <pre><nowiki>{{ASHeader}} {{ASRow}}|tt||fff {{ASRow}}|aa||bb |} </nowiki>...)
(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||fff
{{ASRow}}|aa||bb
|}

Example

ASCII Symbol
tt fff
aa bb

Template