Bug in TeX input mode?

[Deniz Dogan]

Hi

After some random discussion on #haskell about having Unicode
characters as operators, I found that \circ in the TeX input mode
inserts the following character:

--------

        character: ○ (9675, #o22713, #x25cb)
preferred charset: unicode (Unicode (ISO10646))
       code point: 0x25CB
           syntax: _    which means: symbol
         category: .:Base, c:Chinese, h:Korean, j:Japanese
         to input: type "\circ" with TeX
      buffer code: #xE2 #x97 #x8B
        file code: #xE2 #x97 #x8B (encoded by coding system utf-8-unix)
          display: by this font (glyph code)

Character code properties: customize what to show
  name: WHITE CIRCLE
  general-category: So (Symbol, Other)

--------

However, we feel like what should have been inserted is this:

--------

        character: ∘ (8728, #o21030, #x2218)
preferred charset: unicode (Unicode (ISO10646))
       code point: 0x2218
           syntax: .    which means: punctuation
         category: .:Base
      buffer code: #xE2 #x88 #x98
        file code: #xE2 #x88 #x98 (encoded by coding system utf-8-unix)
          display: by this font (glyph code)

Character code properties: customize what to show
  name: RING OPERATOR
  general-category: Sm (Symbol, Math)

--------

I'm not sure whether this is a bug in TeX input mode or correct. Any ideas?

-- 
Deniz Dogan