+\end{description}
+
+\paragraph{Special Left Drop}
+
+\begin{description}
+
+ %********************************************************************************************************
+ %************************************ epsilon-rules with \SLDROP ****************************************
+ %********************************************************************************************************
+
+ \item{\verb+math/+$\SLDROP$}\\
+ replace the $\SLDROP$ with the cursor.
+
+ \item{\verb+math/g[^#]/+$\NLDROP$}\\
+ replace the $\NLDROP$ with the cursor.
+
+ %************************ \SLDROP has neither preceding nor following nodes *****************************
+
+ \item{\verb+g[^#$]/+$\SLDROP$}\\
+ replace the \G{} node with the cursor.
+
+ \item{\verb+c[p[@left-open='1'][*]#$]/p[@right-open='1'][^#$]/+$\SLDROP$}\\
+ replace the \CNODE{} node with the content of the first \PNODE{} node and insert the cursor after this content
+
+ \item{\verb+c[p[@left-open='1'][!*]#$]/p[@right-open='1'][^#$]/+$\SLDROP$}\\
+ replace the \CNODE{} node with the cursor.
+
+ \item{\verb+c/p[^#$]/+$\SLDROP$}\\
+ remove the $\SLDROP$ and insert it before the \PNODE{} node.
+
+ \item{\verb+c[^#][!p(*)]/+$\SLDROP$}\\
+ replace the \CNODE{} node with the cursor.
+
+ \item{\verb+cell[^#$]/+$\SLDROP$}\\
+ replace the cell with the $\NLDROP_n$.
+
+ \item{\verb+table[^#$]/+$\SLDROP$}\\
+ replace the \TABLE{} node with the cursor.
+
+ %*********************** \SLDROP has at least one preceding node ***********************************
+
+ \item{\verb+*[sp[!@id][^*g[!@id][^o[@name='prime']++\verb+o[@name='prime']$]]#]/+$\SLDROP$}\\
+ remove the last \ONODE{} node and replace the $\SLDROP$ with the cursor.
+
+ \item{\verb+*[sp[!@id][^*g[!@id][^o[@name='prime']$]]#]/+$\SLDROP$}\\
+ replace the script with its first child and replace the $\SLDROP$ with the cursor.%$\NLDROP_n$.
+
+ \item{\verb+<sp|sb>[^g[!@id][!*]#$]/+$\SLDROP$}\\
+ replace the script with the cursor.
+
+ % this rule is overridden by the three rules above.
+ \item{\verb+<sp|sb>[^*#$]+/$\SLDROP$}\\
+ replace the script node with its first child and insert the cursor after it.
+
+ \item{\verb+c[(i|n|o|s|c[!*])#]/+$\SLDROP$}\\
+ remove the $\SLDROP$ and insert the cursor before the delimiter.
+
+ \item{\verb+c[p#(i|n|o|s|c[!*])]/+$\SLDROP$}\\
+ remove the $\SLDROP$ and insert the cursor into the \PNODE{} node.
+
+ \item{\verb+c[p[@right-open='1']#]+}\\
+ remove the $\SLDROP$ and append the curor as last child of the \PNODE{} node.
+
+ % this rule is overridden by the two ones above.
+ \item{\verb+c[p#]/+$\SLDROP$}\\
+ move the $\SLDROP$ into the \PNODE{} node.
+
+ \item{\verb+*[(i|n|o|s|c[!*])#]/+$\SLDROP$}\\
+ remove the $\SLDROP$ and replace the token with the cursor.
+
+ \item{\verb+*[table#]/+$\SLDROP$}\\
+ remove the $\SLDROP$ and append the $\NLDROP_n$ as the last child of the \TABLE{} node.
+
+ \item{\verb+*[c#]/+$\SLDROP$}\\
+ move the $\SLDROP$ into the \CNODE{} node.
+
+ \item{\verb+*[g#]/+$\SLDROP$}\\
+ remove the $\SLDROP$ and append the cursor as the last child of the \G{} node.
+
+ %********** \SLDROP has no preceding node, but has following ones **************
+
+ \item{\verb+c[^#p][p(*)]/+$\SLDROP$}\\
+ remove the $\SLDROP$ and insert the cursor before the \CNODE{} node.
+
+ % general rule
+ \item{\verb+*[^#*]/+$\SLDROP$}\\
+ remove the $\SLDROP$ and insert the cursor before its parent.
+
+\end{description}
+
+\paragraph{Normalize Left Drop}
+
+\begin{description}
+