chiark / gitweb /
notation: remove notation test file
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:58:22 +0000 (17:58 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:58:22 +0000 (17:58 +0100)
notationtest.tex [deleted file]

diff --git a/notationtest.tex b/notationtest.tex
deleted file mode 100644 (file)
index aaf948a..0000000
+++ /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}
-$$
-