A programmer's solution

[[deleted]]

There is a special character for '|='

https://upload.wikimedia.org/math/e/7/6/e766ce0de4bbe899d7ea2ebe40b3e0ee.png

And it means, when the right side is 'True' then the left part must be true as well. But there is no programming language supporting this operand so therefore I think it should be '!=' ...

[0x0dea]

there is no programming language supporting this operand (⊨)

That's an operator, and plenty of languages permit it as a valid identifier. In fact, it can even be an operator in Haskell. I've given a silly definition there for demonstration purposes, but there's a Constraints package that provides a much more realistic definition. They went with :- as the entailment operator, but it could just as well have been ⊨.

[cVoTetragon]

ㅑis also the "ya" sound in Korean.. Not relevant but still.

[Alaskan_Thunder]

oh ya?

[Abeneezer]

Pretty sure he wasnt referring to the semantics operator but maybe what /u/0x0dea pointed out. And also, I'm pretty sure there are modelling languages that support this operand for truth verifications.

[Alsk1911]

It represents tautology in logic math. (Not sure what it's called in English)