To write the End Of Proof symbol ∎ on keyboard using ALT codes; ALT+8718, just hold down the ALT key while typing the alt key code 8718. You have to use the numeric keypad of your keyboard. If you don not have numeric keypad, hold d𝓡own the Fn and ALT keys while typing the alt code number.