Re: [GHC] #10509: UnicodeSyntax documentation lists wrong symbols