Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Here is nsupset $\nsupset$.
okay, thanks. looks like the current implementation of \nsubset
in Instiki is the hack
\subset\!\!\!\!\!\vert
only that it should really be
\subset\!\!\!\!\!/
and that the backspacing is not rendered consistently across $n$Lab/$n$Forum.
The unicode ⊄
looks like ⊄.
Ah, thanks.
1 to 5 of 5