2 Putting RSL into files 2 Putting RSL into files
2.2 Contexts 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.

ASCII forms of RSL symbols

ASCII forms of RSL symbols


Chris George, April 17, 2008

2.1 Mathematical characters
2 Putting RSL into files 2 Putting RSL into files
2.2 Contexts 2.2 Contexts