[VCLab-Main] [Software][HotEqn][Negation]
x\not\in X |
|
\not=\not9\not{\frac{x+1}{y-2}} |
|
\not\left[\array{a_11
& a_12 & a_13 \\ a_21 & a_22 & a_23 \\ a_31 & a_32 &
a_33}\right] |
[VCLab-Main] [Software][HotEqn][Negation]