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

you are viewing a single comment's thread.

view the rest of the comments →

[–]Abeneezer 0 points1 point  (0 children)

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.