P.S. : Another source for Rainbow characters 128-255 is WPS-PLUS/Rainbow
Editor Functions, Appendix A (gives decimal codes and "compose sequences").
There is also apparently a "Technical Character Set" which may be installed
in ROM in place of the "Multinational Characters" I've been telling you
about. If you've got that, all these references won't be relevant to what
comes up on _your_ screen!