permite verificar que a sintaxe da fórmula registada está correcto (uma mesagem OK afixa-se então). Em caso de erro de sintaxe, a mensagem de erro idónea será afixada.
Todas as mensagens de erro relativas aos controlo sintáxico das fórmulas podem ser afixados.