diff --git a/flatsearch/tikz/mmt/elalg-nat-graph.tex b/flatsearch/tikz/mmt/elalg-nat-graph.tex index fc5d3c9e8987c1efdeda1da3cc91ac08c5281953..d6731f5fe013143ec1f9aed9c6bdffd6f9d567f9 100644 --- a/flatsearch/tikz/mmt/elalg-nat-graph.tex +++ b/flatsearch/tikz/mmt/elalg-nat-graph.tex @@ -45,7 +45,6 @@ \textsf{Ring}\\\hline \\\hline $\scriptstyle \mr{x}{(\ar{y}z)}=\ar{(\mr{x}z)}{(\mr{y}z)}$\\ - $\scriptstyle \ar{x}{(\mr{y}z)}=\rm{(\ar{x}z)}{(\ar{y}z)}$\\ \end{tabular}}; \node[thy] (N) at (-.7,-.9) {\begin{tabular}{l} \textsf{NatNums}\\\hline