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
