Is there any plan to adapt Justin Ziegler's math encoding proposal as documented in l3d007.tex as `official'? What are the results of the TUG Technical Working Group on a math encoding? I'm working on encguide.tex and a German translation of it, and I try to fill the gaps which still are in the document... Werner