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...