Re: Bug in TeX input mode?

[Kenichi Handa]

In article <address@hidden>, Chong Yidong <address@hidden> writes:

> Deniz Dogan <address@hidden> 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
address@hidden