&varsupsetneqq