cls: \supset uses \supseteq
zt: fixes