Re: Too narrowly defined: DIVISION SIGN & COLON

From: Khaled Hosny <khaledhosny_at_eglug.org>
Date: Wed, 11 Jul 2012 15:59:16 +0200

On Wed, Jul 11, 2012 at 10:47:33AM +0200, Hans Aberg wrote:
> On 11 Jul 2012, at 03:51, Khaled Hosny wrote:
>
> > It can be handled at a different level; when one types 3:5 in a
> > Unicode-complient TeX engine, what gets output to the output file is the
> > ratio not the colon, and colon gets output with 3\colon{}5.
>
> Actually, TeX does it wrongly relative Unicode: a colon ":" in the
> input file should expand TeX $\colon$, whereas "∶" RATIO U+2236 should
> expand to TeX $:$.

It is a kind of primitive input method, like using / for division slash
and * for asterisk operator, and ratio is more frequent in math than the
colon. (original TeX handled this by having different glyphs/glyph
classes in math than TeX, Unicode-compliant TeX engines map them to the
appropriate Unicode character).

Regards,
 Khaled
Received on Wed Jul 11 2012 - 09:02:50 CDT

This archive was generated by hypermail 2.2.0 : Wed Jul 11 2012 - 09:02:51 CDT