Hello, "Mark E. Shoulson" <m...@kli.org> writes:
> I hadn't counted \circ because it expands under Unicode to ˆ (U+02C6) > and not to the true ascii circumflex ^ (U+005E); the point of these > entities is to represent ascii characters that otherwise would confuse > things. Maybe \circ should expand to ^; maybe there should be another > entity for it (maybe neither). You're right, there could be another entity for ^. asciicirc is good enough as a name. Would you want to make a patch for it? Also, you may want to consider signing FSF papers for more important contributions. > Anyway; attaching the relevant patch (changelog tweaked), once again > hoping I got the formatting and everything right. Applied. Thanks again. Regards, -- Nicolas Goaziou