Convert unicode annotations into the fancier version used with 20120731-b

Went retro, brought back the past.
Unicode annotations look nicer.