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)
