From 71af11a88d843472a7b33ed7365ad373c415659f Mon Sep 17 00:00:00 2001 From: Paolo Marinelli Date: Sun, 30 Mar 2003 11:08:57 +0000 Subject: [PATCH] Added some rules to handle the generalized normal left drop. --- helm/DEVEL/mathml_editor/doc/spec.tex | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex index 108bbce6a..62e1473f8 100644 --- a/helm/DEVEL/mathml_editor/doc/spec.tex +++ b/helm/DEVEL/mathml_editor/doc/spec.tex @@ -515,7 +515,7 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node % this rule overrides the one above \item{\verb+*[sp[!@id][^*g[!@id][^o[@name='prime']++\verb+o[@name='prime']$]]#]/+$\NLDROP$}\\ - remove the last \ONODE{} node and replace the $\NLDROP$ with the %$\NLDROP_n$. + remove the last \ONODE{} node and replace the $\NLDROP$ with the cursor.%$\NLDROP_n$. \item{\verb+*[sp[!@id][^*g[!@id][^o[@name='prime']$]]#]/+$\NLDROP$}\\ replace the script with its first child and replace the $\NLDROP$ with the cursor.%$\NLDROP_n$. @@ -527,6 +527,21 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node \item{\verb+c[p#]/+$\NLDROP$}\\ move the $\NLDROP$ into the \PNODE{} node. + %**************** \NLDROP has no preceding nodes, but has following nodes ************** + + % general rule + \item{\verb+*[^#*]/+$\NLDROP$}\\ + remove the $\NLDROP$ and insert it before its parent. + + % special rules + + \item{\verb+math/g[^#*]/+$\NLDROP$}\\ + replace the $\NLDROP$ with the cursor. + + % this rule is applicable to all macros. + \item{\verb+c[^#][p[*]]/+$\NLDROP$}\\ + remove the $\NLDROP$ and insert it before the \CNODE{} node. + %**************************************************************************************** %***************************** epsilon-rules with \NLDROP_n ***************************** %**************************************************************************************** @@ -544,7 +559,7 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node remove the $\NLDROP_n$ and append it as last child of the \ROW{} node. \item{\verb+table[^#$]/+$\NLDROP_n$}\\ - replace the \texttt{table} with the cursor.$\NLDROP_n$. + replace the \texttt{table} with the cursor.%$\NLDROP_n$. \item{\verb+g[@id][^#$]/+$\NLDROP_n$}\\ replace the \G{} node with the $\NLDROP_n$. -- 2.39.2