Eu uso o DejaVu Sans Mono em Konsole (Yakuake) e o til é representado corretamente mesmo em tamanhos muito pequenos (e / ou valores de zoom baixos), mas lembro que isso acontece com outras fontes. Quais fontes você está usando?
EDIT: Você pode instalar as fontes DeJaVu no Ubuntu (e distros relacionados) fazendo
sudo apt-get install ttf-dejavu
Qual é um meta-pacote disponível em ttf-dejavu-core
e ttf-dejavu-extra
.
Em outras distros, o pacote também é geralmente chamado de ttf-dejavu
.
Eu também uso o DeJaVu Sans do patchset Infinality. Aqui como instalá-lo no Ubuntu, aqui no Arch.
No KDE, você também tem a oportunidade de obter fontes do banco de dados OpenDesktop.org. Apenas faça: Configurações do sistema - > Gerenciamento de fontes - > Obter novas fontes Fontes comuns geralmente não estão lá, mas há algumas mais legais.