I want to negate the symbol whose code is
\models (this would be specific to Formal Logic). How can I do that? I tried a number of combination, but didn't find how this could be done. I tried
\nmodels but all of them are wrong.
Is there a general way to negate symbols?