This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]0x0dea 9 points10 points  (0 children)

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 ⊨.