Re: Too narrowly defined: DIVISION SIGN & COLON

From: Hans Aberg <haberg-1_at_telia.com>
Date: Wed, 11 Jul 2012 10:47:33 +0200

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

Hans
Received on Wed Jul 11 2012 - 03:48:59 CDT

This archive was generated by hypermail 2.2.0 : Wed Jul 11 2012 - 03:48:59 CDT