What does ⩔ mean?

It is probably not a very important question, but it got me very curious.

I found this symbol - $⩔$ in the list of unicode symbols and it states that it is "Double Logical Or".

What does it even mean? Shouldn't the result of the disjunction be the same as the double disjunction?

A screenshot of the question for those who can't see the symbol on their device.

• In computing it might be a logical or operator acting on double-length values. Jul 27, 2018 at 15:49
• @AsafKaragila No, it's because it looks ghastly if I use the image! I can't edit the picture itself on my phone, anyway, and I don't have a computer handy, so . . . Jul 27, 2018 at 16:19
• Well, it's a part of the "supplemental mathematical operators" Unicode block. The official Unicode documentation says that this block "contains many additional symbols to supplement the collection of mathematical operators", which I hope is a satisfactory answer to your question. Jul 27, 2018 at 16:23
• The "supplemental mathematical operators" block, by the way, contains a LOT of stuff that I've never seen before. At least a dozen different variants on the $\geq$ symbol which I suppose someone somewhere must have once used to represent some kind of order relation. I'm guessing this is an issue of a committee not wanting to leave anything out. Jul 27, 2018 at 16:26
• This is an interesting question, but I don't think MSE is the right forum for the teleology of Unicode. Jul 27, 2018 at 22:56

If the example here is realistic, then it can be interpreted as a bitwise-OR operator:

• Anything can be interpreted as a bitwise-OR operator if one desires so. Let $\aleph$ denote the bitwise-OR operator, then $0\mathbin{\aleph}1=1$. Jul 27, 2018 at 16:24
• @AsafKaragila If you can find something more authoritative, have at it. But at least I found an example. It took me a while to find this one.
– John
Jul 27, 2018 at 17:17
• Your answer makes it seem like this is somehow standard. That's my point. Jul 27, 2018 at 17:34
• @AsafKaragila I disagree. "If the example ... is realistic, then it can be interpreted ..." That's not a strong assertion at all.
– John
Jul 27, 2018 at 17:40
• @AsafKaragila Hey, at least it is an example of the actual usage of this symbol! Jul 28, 2018 at 19:14

In the language "R" the operators “|” and “&” indicate the logical operations OR and AND, but the longer form evaluates left to right examining only the first element of each vector. Source: "Logical operators in R".

In the language JavaScript bitwise operators (“|” and “&”) treat their operands as a sequence of 32 bits (zeroes and ones), rather than as decimal, hexadecimal, or octal numbers. However, the logical operators ("||" and "&&") actually return the value of one of the specified operands, so if these operators are used with non-Boolean values, they may return a non-Boolean value.

In MathJax \vee $\vee$, \wedge $\wedge$, \bigvee $\bigvee$, \bigwedge $\bigwedge$, \curlyvee $\curlyvee$, and \curlywedge $\curlywedge$ are different from \lor $\lor$ and \land $\land$ or \unicode{x2A54} $\unicode{x2A54}$ and \unicode{x2A53} $\unicode{x2A53}$.

Proof-Wiki: Symbols:Logical Operators.

• Is someone chasing you that you had to post an incomplete answer? You already lost the "first answer" needed for Enlightened badge. So what's the point? Jul 27, 2018 at 16:43
• How is this an answer to the question? The question is what the ⩔symbol is used for in practice, not a question about how to write logical/bitwise operators. Jul 27, 2018 at 22:15
• The first 2 paragraphs explain 2 example usages, the third paragraph gives the MathJax for similar characters and the one in question; which in one comment Asaf said there was only an empty block, causing Daniel to include an image instead of relying on MathJax - it is an addition which aids those two and those that arrive here hoping for related information or how to write the symbols. We would benefit from your answer over a comment.
– Rob
Jul 27, 2018 at 23:46