From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 7 Jul 2012 16:58:22 +0000 (+0100)
Subject: notation: remove notation test file
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=bf00a6804e4075d8639f69c96aabf4150506329c

notation: remove notation test file
---

diff --git a/notationtest.tex b/notationtest.tex
deleted file mode 100644
index aaf948a..0000000
--- a/notationtest.tex
+++ /dev/null
@@ -1,16 +0,0 @@
-%$$
- C \has \mergeof{L}{M}{R}
-$$ $$
- C \alg{ is-merge } \mergeof{L}{M}{R}
-$$ $$
- C \alg{ ismerge } \mergeof{L}{M}{R}
-$$ $$
- C \sqsupset \setmergeof{L}{M}{R}
-$$ $$
- C \sqsupset \mergeof{L}{M}{R}
-$$ $$
- C \approx \mergeof{L}{M}{R}
-$$ $$
- C \sqsupseteqq \mergeof{L}{M}{R}
-$$
-