The following patch expands lib/symbols by a new column which should later contain the XML names of the symbols.
Unless somebody finds a way to fill the whole column automatically with the correct values, it would be nice if I could get CVS write access to this file to be able to fill that column one by one. [Additionally there are a few keybindings for the math-extern feature. It is not really necessary to apply this part, but it would not hurt either.] Andre' -- André Pönitz .............................................. [EMAIL PROTECTED]
