Removed some obsolete commands.

diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex
index ed95dcf14c7647c905b1b06dbfa27af06bf8d59d..4495c805e32d13b9fc90cbeb52a637e1c8961be7 100644 (file)
--- a/helm/DEVEL/mathml_editor/doc/spec.tex
+++ b/helm/DEVEL/mathml_editor/doc/spec.tex
@@ -28,13 +28,7 @@
 \newcommand{\CELL}{\texttt{cell}}
 \newcommand{\ROW}{\texttt{row}}
 \newcommand{\SLDROP}{\blacktriangleleft}
-\newcommand{\SLDSCRIPT}{\blacktriangleleft_{s}}
 \newcommand{\NLDROP}{\vartriangleleft}
-\newcommand{\RGROUP}{\vartriangleleft_{rg}}
-\newcommand{\NLDGP}{\vartriangleleft_{g}}
-\newcommand{\NLDSCRIPT}{\vartriangleleft_{s}}
-\newcommand{\NLDMACRO}{\vartriangleleft_{c}}
-\newcommand{\NLDTABLE}{\vartriangleleft_{t}}
 
 \begin{document}