From 0593f47412b947a4af005b2ccec2eb13dd8dee90 Mon Sep 17 00:00:00 2001 From: Paolo Marinelli Date: Mon, 31 Mar 2003 15:41:34 +0000 Subject: [PATCH] Removed some obsolete commands. --- helm/DEVEL/mathml_editor/doc/spec.tex | 6 ------ 1 file changed, 6 deletions(-) diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex index ed95dcf14..4495c805e 100644 --- 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} -- 2.39.2