latex: added support set notation mappings from utf8