Replace ~ with \sim

2014-01-25 17:13:58 -07:00
parent 74443f63f3
commit 6e01d0188b
1 changed files with 2 additions and 2 deletions
--- a/math/proof/notes.page
+++ b/math/proof/notes.page
@@ -356,8 +356,8 @@ the resulting statement is true. If both are false, then the resulting
 statement is also false.

 Any statement can have its truth value inverted by applying *not* to
-it. If we have a true statement $P$, $~P$ is false.  If we have a
-false statement $Q$, $~Q$ is true.
+it. If we have a true statement $P$, $\sim P$ is false.  If we have a
+false statement $Q$, $\sim Q$ is true.

 **Conditional Statements**