1
$\begingroup$

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.

$\endgroup$
9
  • 1
    $\begingroup$ In computing it might be a logical or operator acting on double-length values. $\endgroup$
    – Peter Phipps
    Jul 27, 2018 at 15:49
  • 1
    $\begingroup$ @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 . . . $\endgroup$
    – Shaun
    Jul 27, 2018 at 16:19
  • 1
    $\begingroup$ 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. $\endgroup$
    – Jack M
    Jul 27, 2018 at 16:23
  • 3
    $\begingroup$ 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. $\endgroup$
    – Jack M
    Jul 27, 2018 at 16:26
  • 1
    $\begingroup$ This is an interesting question, but I don't think MSE is the right forum for the teleology of Unicode. $\endgroup$
    – Rob Arthan
    Jul 27, 2018 at 22:56

2 Answers 2

Reset to default
5
$\begingroup$

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

enter image description here

$\endgroup$
5
  • $\begingroup$ 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$. $\endgroup$
    – Asaf Karagila ♦
    Jul 27, 2018 at 16:24
  • 1
    $\begingroup$ @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. $\endgroup$
    – John
    Jul 27, 2018 at 17:17
  • $\begingroup$ Your answer makes it seem like this is somehow standard. That's my point. $\endgroup$
    – Asaf Karagila ♦
    Jul 27, 2018 at 17:34
  • 3
    $\begingroup$ @AsafKaragila I disagree. "If the example ... is realistic, then it can be interpreted ..." That's not a strong assertion at all. $\endgroup$
    – John
    Jul 27, 2018 at 17:40
  • $\begingroup$ @AsafKaragila Hey, at least it is an example of the actual usage of this symbol! $\endgroup$
    – Davinel
    Jul 28, 2018 at 19:14
-2
$\begingroup$

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}$.

How can I use MathJax / TEX to format bitwise operations?.

Proof-Wiki: Symbols:Logical Operators.

"Fonts and Special Characters for Websites".

$\endgroup$
3
  • $\begingroup$ 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? $\endgroup$
    – Asaf Karagila ♦
    Jul 27, 2018 at 16:43
  • $\begingroup$ 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. $\endgroup$
    – Derek Elkins left SE
    Jul 27, 2018 at 22:15
  • $\begingroup$ 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. $\endgroup$
    – Rob
    Jul 27, 2018 at 23:46

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .