Hello,

Konstantin Kliakhandler <kosta@slumpy.org> writes:

> Attached is the patch, as requested.

Applied. Thank you.

> I'm not sure what were the conclusions of the side discussion, but
> I do want to point out that my change is in accordance with unicode
> symbol names and with the symbols that pdflatex prints on paper.

I think Rasmus (Cc'ed) discovered a bug in TeX input method. Rasmus,
would you feel like reporting it upstream?

Regards,

--
Nicolas Goaziou