wow, there is really much magic going on in context. one reason why i love it. i once wrote a script that showed some nice little gui for a similar file (i.e. xkb/symbols/??) that displayed the characters on a grid similar to the keyboard layout and allowed displaying of the different layers. i used it to customize the standard ubuntu keyboard layout to have some much-used symbols, but haven’t really got around to try switching to another layout than quertz (as it would tie me even stronger to my own pc and would take significant time to master) maybe it would be nice to have a similar program that displays the mappings in the char-def.lua since i can’t search for the symbols directly, have no overview and editing would involve looking up the codes or names in a char map, finding it in the file, and so on. xrightarrow and friends are nice, because they adjust their length to the over-and underscripts and work without parameters, too. so $A → B →{woo} C$ would work flawlessly and look nice both in code and the document.