On 5/31/2016 4:18 PM, Hans Åberg wrote:
It is possible to get the symbol : COLON U+003A to expand to \colon, instead of the ratio operator, as it is now? The latter is rather rare in pure math, and in addition, it seems to have been reversed in the implementation with ∶ RATIO U+2236, cf. example below.
\setupbodyfont[xits,10pt]
\startformula \startalign \NC f\NC\colon A→B \NR % Produces ∶ RATIO U+2236 \NC f\NC: A→B \NR % : COLON U+003A \NC f\NC ∶ A→B \NR % ∶ RATIO U+2236 \stopalign \stopformula
it's a commented option i.e. we decided not to do that because the normal colon would be obscured then (just like overloading a period is not realistic) Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------