fix: docs: formula

jsfpdn · Dec 15, 2024 · 522e056 · 522e056
1 parent 3083895
commit 522e056
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sddrs/README.md b/sddrs/README.md
@@ -17,7 +17,7 @@ The compiler currently supports:
 
 ## Usage
 
-The following snippet compiles the function $(A \land B) \lor C$ to an SDD,
+The following snippet compiles the function `(A & B) | C` to an SDD,
 computes number of its models, enumerates and prints them to the stdout,
 and renders the compiled SDD and its vtree to the DOT format.