Added some more garbage characters. Wasted a lot of time on the
"approximation" character (double tilde). Will have to take that up later.