To write the Does Not Prove symbol ⊬ on keyboard using ALT codes; ALT+8876, just hold down the ALT key while typing the alt key code 8876. You have to use the numeric keypad of your keyboard. If you don not have numeric key൲pad, hold down the Fn and ALT keys while typing the alt code number.