From 3da65a8aeab2cf9a0a18197a5304aaf1cf3bb337 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Iv=C3=A1n=20Renison?=
 <85908989+IvanRenison@users.noreply.github.com>
Date: Tue, 23 Jan 2024 12:01:22 -0300
Subject: [PATCH] Use `|` instead of `\|` in 2sat description

---
 content/graph/2sat.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/content/graph/2sat.h b/content/graph/2sat.h
index 606f1292d..36f00d344 100644
--- a/content/graph/2sat.h
+++ b/content/graph/2sat.h
@@ -4,7 +4,8 @@
  * License: CC0
  * Source: folklore
  * Description: Calculates a valid assignment to boolean variables a, b, c,... to a 2-SAT problem,
- * so that an expression of the type $(a\|\|b)\&\&(!a\|\|c)\&\&(d\|\|!b)\&\&...$ becomes true, or reports that it is unsatisfiable.
+ * so that an expression of the type $(a||b)\&\&(!a||c)\&\&(d||!b)\&\&...$
+ * becomes true, or reports that it is unsatisfiable.
  * Negated variables are represented by bit-inversions (\texttt{\tilde{}x}).
  * Usage:
  *  TwoSat ts(number of boolean variables);