Mise en surbrillance des explications de contrainte
Les explications de contrainte utilisent le codage couleur suivant :
• Vert et violet : contrainte faisant référence à deux entités jouant des rôles différents dans la contrainte, par exemple une contrainte symétrique et le trait d'axe de définition.
• Violet : contraintes uniques, par exemple verticale, et contraintes de groupe, par exemple lignes parallèles.