Sei que provavelmente há uma resposta simples para essa pergunta. Eu venho do Ubuntu (Unity) e sou usado para digitar símbolos unicode com Ctrl+ Shift+ U, seguido pelo código do símbolo e Enter.
Isso parece não funcionar no Hortelã 17 (canela). Eu pesquisei e não encontrei uma resposta para isso.
Como você insere símbolos unicode?
terminator
terminal. Obrigado, a propósito, eu não sabia que isso era possível.