digraphs: fix unicode translation for J< in rfc