Replace ugly hexadecimal HTML entity with Unicode universal quantifier.

HOL-Theorem-Prover · Apr 16, 2012 · 4d180e8 · 4d180e8
1 parent c87d46d
commit 4d180e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/kananaskis-8.release.html b/doc/kananaskis-8.release.html
@@ -44,7 +44,7 @@ <h2 id="new-features">New features:</h2>
 
     &gt; Define`f x = x + 1`;
     Definition has been stored under "f_def"
-    val it = |- &#x2200x. f x = x + 1
+    val it = |- ∀x. f x = x + 1
 </pre>
 <p>But, this next session fails:
 <pre>