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