]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/doc/spec.tex
Removed some obsolete commands.
[helm.git] / helm / DEVEL / mathml_editor / doc / spec.tex
index ed95dcf14c7647c905b1b06dbfa27af06bf8d59d..4495c805e32d13b9fc90cbeb52a637e1c8961be7 100644 (file)
 \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}