To write the Downwards Arrow With Double Stroke symbol ⇟ on keyboard using ALT codes; ALT+8671, just hold down the ALT key while typing the alt key code 8671. You have to use the numeric 🍎keypad of your keyboard. If you don not have numeric keypad, hold down the Fn and ALT keys while typing the alt code number.