Hans Aberg writes: [...] > The idea is to sort out the names into different boxes, or modules, so > that they do not conflict. By the scheme, one can classify glyph renderings > and symbol semantics independently, and then link them together as an > independent step. > It is very clear that one can construct a macro layer over the actual font encodings to enable semantic tagging (I always thought most people would write their math in that way - at least I do). My question was strictly on the font encoding issue wether a new math font encoding standard should force font designers (always in the hope that there will be people designing new math fonts in the future) to design one glyph which is suitable as \setminus *and* as \backslash or if they should have the freedom to design different glyphs for the two different concepts. But I think it is clear that there will always be an element of compromise since there are infinitely many mathematical concepts which have to be mapped onto finitely many available glyphs. A guiding principle might be to provide two separate slots if the two concepts are likely to appear in the same context, so that giving them different glyphs might help to ease reading. Matthias