|
| 2 Putting RSL into files |
|
| 2.2 Contexts |
|
2.1 Mathematical characters |
2.1 Mathematical characters
The display syntax of RSL uses a number of mathematical characters
like ∈ and ∀ that are not available in the ASCII character
set. In order for RSL to be put into text files (which are what the
RAISE tool uses, and are easily portable) there are ASCII equivalents for
all the special characters. These are shown in
the table below.
Chris George, April 17, 2008
2.1 Mathematical characters |
|
| 2 Putting RSL into files |
|
| 2.2 Contexts |
|