To write the True symbol ⊨ on keyboard using ALT codes; ALT+8872, just hold down the ALT key while typing the alt key code 8872. You have to use the numeric keypad of your keyboard. If y🧸ou don not have numeric keypad, hold down the Fn and ALT keys while typing the alt code number.