Important: added special variable "Z" for zero.

[fireball-separation.git] / ocaml / problems / m

diff --git a/ocaml/problems/m b/ocaml/problems/m
index 64b6ad3450cc7390cd86d56bd5451c9c3bb6a66f..716e4d4ff743c55268e88fe9690c2755805bdfa7 100644 (file)
--- a/ocaml/problems/m
+++ b/ocaml/problems/m
@@ -1,13 +1,13 @@
 $! m1\r
-N y z\r
-  x z\r
-  x (a k) u\r
-  x (a r)\r
-  x (a k) v\r
+N y z Z\r
+  x z Z\r
+  x (a k) u Z\r
+  x (a r) Z\r
+  x (a k) v Z\r
 \r
 $! m2\r
-N y z\r
-  x z\r
-  x (a k) u\r
-  x (a r)\r
-  x (a k) v\r
+N y z Z\r
+  x z Z\r
+  x (a k) u Z\r
+  x (a r) Z\r
+  x (a k) v Z\r