Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

In a paper, I found the following definition: definition found in the paper

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.

share|improve this question

1 Answer 1

Mostly such symbols (eg \models) are constructed from other symbols anyway so if you don't find it in a font ready built you can copy the models definition:

enter image description here

\documentclass{article}
% \DeclareRobustCommand
%  \models{\mathrel{|}\joinrel\Relbar}


\DeclareRobustCommand
  \sv{\mathrel{|}\joinrel\mathrel{\smash{\sim}}}

\begin{document}

$A\models B$

$X \sv Y$

\end{document}
share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.