To write the Assertion symbol ⊦ on keyboard using ALT codes; ALT+8870, just hold down the ALT key while typing the alt key code 8870. You have to use the numeric keypad of your keyboard. If you don not h💧ave numeric keypad, hold down the Fn and ALT keys while typing the alt code number.