added 90% of all unicode symbols i

Not sure what to do with punctuation symbols, and integral square root
symbols. The rest seems to work fine.