I've seen some answers here that use it and I don't know what it means or how to use it. I's also hard to look for it via a search engine :)
It's the 'not provable' operator. It succeeds if its argument is not provable (and fails if its argument is provable).
It's do with negation.
\+ Goal will succeed if
Goal cannot be proven.