Non-ASCII characters

In general, you can define text that includes non-ASCII characters like symbols and Greek letters using the text function, assigning the character sequence to the String property of text objects. You can also include these character sequences in the string arguments of the title, xlabel, ylabel, and zlabel functions. 

Firstly, support tools remain difficult (or expensive) to come by. As a minimum, one needs utilities to check for correct syntax, type consistency and completeness of specifications. In the case of Z, which uses a wide range of non ascii characters, special input and formatting tools are also required. Without such tools, the formal specification will be a paper (or word-processor) document only, and will inevitably contain many typographic (or deeper) errors. There is also the danger that the specifier will use the language loosely and slide into informal pseudo-code. 

ASCII. American Standard Code for Information Interchage—a widely used system of encoding alphanumeric information into eight-bit bitsets (bytes). The expansion of information to include non-English characters requires the use of larger (16- or 32-bit) character sets such as Unicode. 

This book uses non-English characters that are available in extended ASCII. Other non-English characters will be represented by the closest English equivalent or will be spelled out. This is particularly important with the names of authors. For example, Bronnum, where the o has a stroke through it, will be printed as shown because an o with a stroke through it is not available in extended ASCII. On the other hand, Carratu will be printed as shown because u with an accent is available in extended ASCII ( 151). A similar situation applies with Greek characters. Thus a, 3, and so on, are available and will be printed as such, but a capital delta is not available and will be represented by delta. The extended ASCII characters which are used include the following a, fl, 8, 8, 0, i, tt, ct, 2, t, k, k, a, A, k, A, g, Q, e, fi, e, e, e, i, i, i, i, n, fl, 6, 5, 6, 6, 0, li, u, u, ii, U, <, , >, and °. 

A double can hold numbers to a higher precision (more significant figures) than can a float. A variable of type bool can hold the value true or the value false, both of which are keywords. Additionally, in C++, numerical values automatically evaluate to true or false, with any non-zero value evaluating to true and zero evaluating to false. A variable of type char can hold a single 8-bit ASCII character ... 

---