Codage des symboles logiques

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 :