[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug in TeX input mode?
From: |
Kenichi Handa |
Subject: |
Re: Bug in TeX input mode? |
Date: |
Thu, 18 Jun 2009 22:12:07 +0900 |
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