diff --git a/ProofMode.md b/ProofMode.md
index 834e8ef3b8151fa51558c87827475cdaf08c8457..692c7568c722f394b6b8583917106495b67bb791 100644
--- a/ProofMode.md
+++ b/ProofMode.md
@@ -140,7 +140,7 @@ which results in:
         x : nat
         H : x = 0
         ______________________________________(1/1)
-				"HQ" : Q
+        "HQ" : Q
         "HR" : R
         --------------------------------------â–¡
         R ★ Q ∧ x = 1