From a53ecd30ecefcc31d76193ab6a82b52a5f58a40e Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 13 Sep 2024 16:20:44 +0200
Subject: y >> theta

---
 bruijn/Experiments.bruijn | 4 ++--
 index.html                | 8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/bruijn/Experiments.bruijn b/bruijn/Experiments.bruijn
index 07519d5..1f8af5f 100644
--- a/bruijn/Experiments.bruijn
+++ b/bruijn/Experiments.bruijn
@@ -17,7 +17,7 @@ t-square-2 [[build tl tr bl br] mut]
 	bl ^(~(~0))
 	br ^(~(~(~0)))
 
-t-square-3 [[0 0] [[0 (1 1 0)]] [[0 (1 tl) (1 tr) (1 bl) (1 br)]]]
+t-square-3 [y [[0 (1 tl) (1 tr) (1 bl) (1 br)]]]
 	tl [[[[[0 4 3 2 b]]]]]
 	tr [[[[[0 4 3 b 1]]]]]
 	bl [[[[[0 4 b 2 1]]]]]
@@ -30,7 +30,7 @@ sierpinski-carpet-1 [[build tl tr bl br] mut]
 	bl ^(~(~0))
 	br ^(~(~(~0)))
 
-sierpinski-carpet-2 [[0 0] [[0 (1 1 0)]] [[0 (1 tl) (1 tr) (1 bl) (1 br)]]]
+sierpinski-carpet-2 [y [[0 (1 tl) (1 tr) (1 bl) (1 br)]]]
 	tl [[[[build 3 2 1 (build (build b w w w) w w b)]]]]
 	tr [[[[build 3 2 (build w (build w b w w) b w) 0]]]]
 	bl [[[[build 3 (build w b (build w w b w) w) 1 0]]]]
diff --git a/index.html b/index.html
index 5591f8e..c0d6d1c 100644
--- a/index.html
+++ b/index.html
@@ -55,22 +55,22 @@ y = \(\(1 (0 0)) \(1 (0 0)))
               Sierpiński triangle
             </option>
             <option
-              value="vfix = (\(0 0) \\(0 ((1 1) 0)))
+              value="y = \(\(1 (0 0)) \(1 (0 0)))
 tl = \\\\\((((0 4) 3) 2) \\0)
 tr = \\\\\((((0 4) 3) \\0) 1)
 bl = \\\\\((((0 4) \\0) 2) 1)
 br = \\\\\((((0 \\0) 3) 2) 1)
-\(vfix \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
+\(y \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
             >
               T-square
             </option>
             <option
-              value="vfix = (\(0 0) \\(0 ((1 1) 0)))
+              value="y = \(\(1 (0 0)) \(1 (0 0)))
 tl = \\\\\((((0 4) 3) 2) \((((0 \((((0 \\0) \\1) \\1) \\1)) \\1) \\1) \\0))
 tr = \\\\\((((0 4) 3) \((((0 \\1) \((((0 \\1) \\0) \\1) \\1)) \\0) \\1)) 1)
 bl = \\\\\((((0 4) \((((0 \\1) \\0) \((((0 \\1) \\1) \\0) \\1)) \\1)) 2) 1)
 br = \\\\\((((0 \((((0 \\0) \\1) \\1) \((((0 \\1) \\1) \\1) \\0))) 3) 2) 1)
-\(vfix \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
+\(y \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
             >
               Sierpiński carpet (variant)
             </option>
-- 
cgit v1.2.3