Re: Bug in TeX input mode?

[Chong Yidong <cyd@stupidchicken.com>]

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.