Re: [GHC] #5108: Allow unicode sub/superscript symbols in operators (was: Allow unicode sub/superscript symbols in both identifiers and operators)