&varsubsetneq