diff --git a/doc/infix1.svg b/doc/infix1.svg
new file mode 100644
index 00000000..4f0d3fa7
--- /dev/null
+++ b/doc/infix1.svg
@@ -0,0 +1,296 @@
+
+
+
+
diff --git a/doc/infix2.svg b/doc/infix2.svg
new file mode 100644
index 00000000..fdc41d62
--- /dev/null
+++ b/doc/infix2.svg
@@ -0,0 +1,367 @@
+
+
+
+