Fix help.txt showing the wrong symbols for 'not' and 'or'

PaddiM8 · Feb 9, 2023 · e47b469 · e47b469
1 parent 90ec7b0
commit e47b469
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cli/help.txt b/cli/help.txt
@@ -47,8 +47,8 @@ Completion for special symbols
     * becomes ×
     / becomes ÷
     and becomes ∧
-    or becomes ¬
-    not becomes ∨
+    not becomes ¬
+    or becomes ∨
     [[ becomes ⟦⟧
     _123 becomes ₁₂₃
     asin, acos, etc. become sin⁻¹(), cos⁻¹(), etc