How to place characters in the ASCII 127-255 range.
If you know the corresponding number (use fontedit.ma), you may place the character by putting a backward slash before the number.For example, if number 176 is the character that you wish to place, type "\176" in the text editor.