Both of those should be subset or not-subset symbols.