diff --git a/website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md b/website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md
index 078c5f5..529b3f7 100644
--- a/website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md
+++ b/website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md
@@ -51,7 +51,7 @@ Prove ~~A -> A. <br>
 Chat GPT 4o
 </dt>
 <dd>
-To prove \~\~ A → A, we will use the given axioms and inference rules. Let's denote the axioms as follows:
+To prove ~~ A → A, we will use the given axioms and inference rules. Let's denote the axioms as follows:
 
 1. ⊢ (A → B) → A
 2. ⊢ (\~ B → \~ A) → (A → B)