&varsubsetneqq