Typing arrow and quote characters in Ubuntu with AltGr
A quick Ubuntu Linux tip: you can use the AltGr key to easily type various
arrow and quote characters.
The ones you might commonly want to use are:
AltGr + y           ←   Left arrow	
AltGr + u           ↓   Down arrow
AltGr + i           →   Right arrow
AltGr + Shift + u   ↑   Up arrow
AltGr + z           «   Left double angle quote
AltGr + x           »   Right double angle quote
AltGr + v           “   Left double quotation mark
AltGr + b           ”   Right double quotation mark