ok i have found that hex digits above 10 are NOT, as i had previously believed, the letters a-f on the keyboard. instead they are a weird mix of random symbols on the numpad lmao
; sudo dumpkeys | rg 'Hex_[A-F]' -B1 | rg KP_'|Num' -A1 | rg -v -- --
keycode 55 = KP_Multiply
altgr keycode 55 = Hex_C
keycode 69 = Num_Lock
altgr keycode 69 = Hex_A
keycode 74 = KP_Subtract
altgr keycode 74 = Hex_D
keycode 78 = KP_Add
altgr keycode 78 = Hex_E
keycode 96 = KP_Enter
altgr keycode 96 = Hex_F
keycode 98 = KP_Divide
altgr keycode 98 = Hex_B
also i can't get them to work. can anyone running linux get the following thing to work?
ctrl+alt+f3 to switch to a new virtual console
run fbterm so you can see unicode sequences. (if this is a pain to install, you can also just paste the output from hexdump - use Ctrl-D to exit, not Ctrl-C)
run hexdump -C so your shell doesn't interpret escape sequences
press right alt (or alt-gr if it's on your keyboard), and simultaneously type 1234 on the numpad
it should print α (unicode hex). unfortunately mine only prints Ρ (unicode decimal) :(