new concept of virtuals, defined only in the gui that behave as the old (still

new concept of virtuals, defined only in the gui that behave as the old (still
present and used) ut8tables and ligatures mapping \foo or => to unicode symbols.

support in the gui for utomatical sumstitution of a virtual with its utf8
counterpart (disabled now, grep for if false && str = " ").

support for uf8 equivalnce classes, names simalrsymbols, activated by alt-l.

alt-l is now overloaded, can expand a \foo or => to a unicode symbol
and cycle on unicode symbols in the same eq class of the one just before the
cursor.

classes are already defined for letters mapping them to variants (other
alfabets and fonts) and on arrows and <.