Utf8 notations

This replaces part 2 of #373.

This gives a file that can be imported to display unicode notations.