&supseteqq