Re: Bug in TeX input mode?

[Teemu Likonen <tlikonen@iki.fi>]

On 2009-06-17 17:26 (-0400), Chong Yidong wrote:

> 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.

I don't know if this experiment has any value but I just compiled a
LaTeX document with $\circ$ to PDF file and then copied the character
from KPDF reader to Emacs. The character looks like this:

        character: ◦ (9702, #o22746, #x25e6)
  name: WHITE BULLET
  general-category: So (Symbol, Other)