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