\/ /\ |D ≡ - \/\/ /\ \/ ≡