Como dito nos comentários de Anthony Geoghegan, foi um problema do programa Konsole . Achei que isso é um bug conhecido , mas algumas fontes não são afetadas. Em Konsole alterei a fonte usando
%código%.
A fonte Settings -> Edit current profile -> Appearance funcionou para mim.
Obrigado pela ajuda nos comentários!
(eu deletei a parte sobre a alteração da fonte do terminal na pergunta original, pois não tem nada a ver com o erro em DejaVu Sans Mono )