add \subsetneq and \supsetneq