A src/list/raxos/notes

drmingdrmer · drmingdrmer · commit 21316c878052 · 2025-02-24T15:31:09.000+08:00
diff --git a/src/list/raxos/notes b/src/list/raxos/notes
@@ -0,0 +1,26 @@
+
+⊑
+⊥
+→
+←
+
+∵ 2→3
+
+∴ ⊥→1→3 overrides ⊥→2
+∵ ⊥→2 ≍ ⊥→2→4
+∴ merge them
+
+≍
+≭
+
+
+⊥→1→3
+
+⊥→2→4
+⊥→{1,2}→4
+
+
+∵ ⊥→1→3 ≭ ⊥→{1,2}→4
+∵ ⊥→2→4 ≭ ⊥→{1,2}→4
+∴ keep all
+
