Re: [NTG-context] Math literal colon

On 20 Jul 2015, at 18:37, Aditya Mahajan wrote:

On Mon, 20 Jul 2015, Hans Aberg wrote:

...

It would be nice with such an option, as it helps the readability of the input files.

There are two uses of colon in math, as a relation (in sets \{ x : f(x) = 0 \} and in ratios A:B, etc) and as a punctuation ($f \colon A -> B, etc.[1]). Only one of them can be mapped to the literal :, the other must use a macro name.

It is easy to change the mapping, but if the mapping is reversed, is there is standard name for : as a relation?

It might be simplest to align towards Unicode and UTF-8, while retaining ASCII commands, avoiding a plethora of options: So one has the commands \colon for function “:" as is now, and the new \ratio for operator “:". Then Unicode ∶ RATIO U+2236 is mapped to the same as \ratio, which leaves : COLON U+003A the only possibility to be the same as \colon. Such an option might be called say colon=unicode, and be a part other similar options.