fixes #2: unicode alternatives for keywords/symbols