Para exibir a maioria dos símbolos matemáticos no seu terminal, você precisa de um terminal que suporte o Unicode e e você precisa de uma fonte com os glifos para esses símbolos matemáticos. Você precisa disso para interpretar e exibir os caracteres corretamente.
Ucs-fonts é um projeto de fonte interessante que tenta cobrir um grande gama de conjuntos de caracteres. É uma extensão da fonte padrão -misc-fixed-*
que é encontrada na maioria dos sistemas Linux, e é uma fonte de bitmap que você pode usar em emuladores de terminal X e em TTYs para exibir símbolos matemáticos ou outras coisas.
Veja um exemplo:
Você pode usar xfontsel
ou ferramenta semelhante para inspecionar as fontes de bitmap instaladas em seu sistema. A fonte ucs é idêntica à fonte -misc-fixed-*
, mas tem a codificação ISO10646-1
no último campo.