Modifiquei a tabela de símbolos pra usar os símbolos do Johann pra tipos