Re: [NTG-context] Colon as non-operator

31 May 2016


      On 5/31/2016 5:53 PM, Hans Åberg wrote:
...
...
On 31 May 2016, at 17:04, Hans Hagen  wrote:
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?
...
it's a commented option
What does that mean?
that it has been considered but rejected already
...
...
i.e. we decided not to do that because the normal colon would be obscured then (just like overloading a period is not realistic)
But can one not have it only in math, the way you suggested before, as in the code below?
so what about (1:2) and so? do we really always want that colon symbol?
...
Anyway, for Unicode fonts that support RATIO U+2236, input : COLON U+003A should properly give that RATIO in the output, and \colon should output a COLON. :-)
\setupbodyfont[xits,10pt]
\appendtoks
  \catcode`:=\activecatcode
  \letcharcode `: \colon
\to \everymathematics
You love active characters yes? Try to avoid them. More efficient is:

\Umathcode"3A="6"00"002236 % : to \colon

in one of your styles
...
\starttext
Note: the colon in text should behave normally.
\startformula
  \startalign
    \NC f\NC\colon A→B \NR % Outputs ∶ RATIO U+2236
    \NC f\NC: A→B \NR  % : COLON U+003A, outputs ∶ RATIO U+2236
    \NC f\NC ∶ A→B \NR % ∶ RATIO U+2236
  \stopalign
\stopformula
\stoptext
could be a style (or option) but then more for a set of such symbols, 
not for just one

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
-----------------------------------------------------------------