Open L-TChen opened 1 year ago
After the latest ucs package seems to change its behaviour, Unicode characters are no longer mapped to its TeX-equivalent. For example, Greek letters are not mapped so one needs to define these mappings using
ucs
\DeclareUnicodeCharacter{03A3}{\ensuremath{\Sigma}} …
Perhaps Agda.fmt should be updated with all mappings…? Or, is it better to have an external tex package for this purpose?
Agda.fmt
After the latest
ucspackage seems to change its behaviour, Unicode characters are no longer mapped to its TeX-equivalent. For example, Greek letters are not mapped so one needs to define these mappings usingPerhaps
Agda.fmtshould be updated with all mappings…? Or, is it better to have an external tex package for this purpose?