From 59bc9736afe4dd0f696616342b6f5a5cc07b672d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 21 May 2017 07:09:58 +0200
Subject: [PATCH] fixign dist
---
flatsearch/tikz/mmt/elalg-nat-graph.tex | 1 -
1 file changed, 1 deletion(-)
diff --git a/flatsearch/tikz/mmt/elalg-nat-graph.tex b/flatsearch/tikz/mmt/elalg-nat-graph.tex
index fc5d3c9..d6731f5 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
--
GitLab