Negated relations

        Negated relationsNegated_relations.tex