O ensino de áreas que utilizam formalismos matemáticos tem encontrado muitas dificuldades sempre que ocorre através de ferramentas de comunicação da Internet. Em especial, as ferramentas de bate-papo geralmente não dispõem de recursos para edição de formalismos e isso as torna pouco produtivas quando utilizadas em situações de ensino que exigem a utilização desse recurso. Nesse trabalho descreve-se o ChatMath, que é uma ferramenta de bate-papo que incorpora a possibilidade de escrita de formalismos matemáticos na linguagem textual usual, os quais são diretamente visualizados a partir de um navegador Web. Além de possibilitar a visualização de fórmulas, a ferramenta oferece facilidades para o desenvolvimento do pensamento lógico formal, tão necessário ao desenvolvimento de conteúdos matemáticos |