From bf00a6804e4075d8639f69c96aabf4150506329c Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 7 Jul 2012 17:58:22 +0100
Subject: [PATCH] notation: remove notation test file

---
 notationtest.tex | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 notationtest.tex

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}
-$$
-
-- 
2.30.2