Prettify syntax with Unicode symbols