Creo que parte del atractivo de la lógica matemática es que las fórmulas parecen misteriosas: ¡escribes Es al revés!