Re: Bug in TeX input mode?

[Kenichi Handa <handa@m17n.org>]

In article <87y6rqimc5.fsf@stupidchicken.com>, Chong Yidong <cyd@stupidchicken.com> writes:

> Deniz Dogan <deniz.a.m.dogan@gmail.com> writes:
> > \circ in the TeX input mode inserts the following character:
> >
> >         character: ○ (9675, #o22713, #x25cb)
> >   name: WHITE CIRCLE
> >   general-category: So (Symbol, Other)
> >
> > However, we feel like what should have been inserted is this:
> >
> >         character: ∘ (8728, #o21030, #x2218)
> >   name: RING OPERATOR
> >   general-category: Sm (Symbol, Math)

> Maybe.  But if you look at the TeX output of \circ, the size of the
> circle looks a lot more like ○ than ∘ (at least, when using DejaVu Sans
> Mono, I haven't checked with other fonts).  And it seems more reasonable
> for "\circ" to mean WHITE CIRCLE than RING OPERATOR.

But, Knuth categorizes \circ in "binary operator" in his
"The TeX book".

---
Kenichi Handa
handa@m17n.org