Que représentent les symboles ⊤ et ⊥ ?