[dev-context] Incorporating math ligatures in ConTeXt

[Aditya Mahajan]

Hi Hans and Taco,

I recently came across mathlig.tex 
(ftp://tug.ctan.org/pub/tex-archive/macros/generic/misc/mathlig.tex) 
which allows one to write

\mathlig {->} {\rightarrow}

and then in math mode -> will be equal to \rightarrow so one can just 
write

$A -> B$

I really like this since one does not need to remeber the names of all 
those operators (>> << >= =< != !< !<= !>= -> => <- <= := ::= ) and 
the source looks easier to read.

The marcos are in plain tex and work with ConTeXt. Do you think that 
this can be incorporated in ConTeXt as a separate module.

This file is way beyond my understanding of TeX. Some parts are easy, 
but I just keep staring at definitions like

\def\actively#1#2{\begingroup\uccode`\~=`#2\relax\uppercase{\endgroup#1~}}

without understanding what it means.

If you guys get tired of writing lua code, can you have a look into 
this and see if this can be added to ConTeXt.

Aditya