This question already has an answer here:
Is there a command for this symbol in Latex? |=. If I use | and = in the source code, then in the pdf there is a big gap between them.
The symbol is from math (from logical clauses). I'm not exactly sure how to translate it in english, it kinda means "resolves" and it used like this c |= C.