Vad står symbolerna ⊤ och ⊥ för?