Le codage des symboles mathématiques et logiques est standardisé en HTML : ces symboles sont désignés par des entités, voir par exemple cette table de caractères ou la norme originale. Ce cours respecte la norme, et code par exemple le symbole ∀ par ∀ ; si votre navigateur affiche correctement le symbole, il est probablement inutile de lire la suite.
Hélas, à l'heure où ce document est rédigé, pour qu'Internet Explorer (version 6) affiche correctement ces entités, il faut régler Windows XP selon la procédure suivante :
Même après ce réglage, certains symboles, comme ∉ , codé par ∉ , ne sont toujours pas affichés correctement.
Deux solutions de secours sont disponibles, sous forme de variantes de certains documents de ce cours :