This question already has an answer here:
I am trying to replicate a logic symbol that looks like
\models but has only one horizontal line, and represents a logical deduction. It looks roughly like
I have tried Detexify, but it does not seem to recognize the symbol even though it is very simple to draw (and therefore it is unlikely I drew it poorly).
While I could look through the entire list, that seems less practical than asking if anyone is already familiar with it.