Nicolas Goaziou <[email protected]> writes: >> 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?
Sure, I can do that. Rasmus -- Slowly unravels in a ball of yarn and the devil collects it
