(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Use of logical symbols
I replaced "≠" with the (logically more correct, but less clear) "⊬" (= 'Does not prove). I was hoping for ⇒ with a line through it, but that is not on the list of characters. -- Robin (talk) 08:38, 3 December 2015 (GMT)
