Added a disjoint symbol