In a paper, I found the following definition:
I'm looking for the first sign, the OCR program failed to recognize. It's something like a combination of a
\vdash and a
\sim. I tried Detexify, but failed to find the correct symbol.
Does this symbol exists in LaTeX, or can I generate such symbol (for instance by adding a description in METAFONT?)
Somewhere further in the paper, the negation of that symbol also appears: the same symbol but with a diagonal line.