On Linux I love using the "Compose" key to type these unusual characters. It works better mnemonically than having special keys for everything. One language th

On Linux I love using the "Compose" key to type these unusual characters. It works better mnemonically than having special keys for everything. One language that uses unicode symbols liberally is Agda. Since it is a proof assistant, being able to use mathematical symbols helps a lot. They even remap the backspace key on Emacs to act as a sort of Compose key for typing all the symbols.