>>15230817On GNU/Linux you can just open up python and do
>>> hex(ord('₿'))to get the codepoint and then you can to Ctrl+Shift+u <codepoint number> <enter> to insert the unicode character you want.
In windows you press alt+x type the codepoint you want and release the alt key. I am pretty sure the windows combinations are in decimal so it would be alt+x8383 (release alt) but it might be in hex (idk I haven't used windows in forever). If it is in hex then it would be alt+x20BF. I think windows has you insert the codepoints in decimal though.
To get the decimal value of any character open up python and do
>>> ord('₿')and it will print it
