3 ms·
Not long ago I found these ≤ U+2264 LESS-THAN OR EQUAL TO ⋜ U+22DC EQUAL TO OR LESS-THAN ≥ U+2265 GREATER-THAN OR EQUAL TO ⋝ U+22DD EQUAL TO OR
by yreg 5y ago
Not long ago I found these
≤ U+2264 LESS-THAN OR EQUAL TO
⋜ U+22DC EQUAL TO OR LESS-THAN
≥ U+2265 GREATER-THAN OR EQUAL TO
⋝ U+22DD EQUAL TO OR GREATER-THAN
or even
⋚ U+22DA LESS-THAN EQUAL TO OR GREATER-THAN
⋛ U+22DB GREATER-THAN EQUAL TO OR LESS-THAN
- lifthrasiir 5y agoThe former is probably for the same reason that both plus-minus and minus-plus exist. The latter is commonly used for the "unordered" relation in partially ordered sets.
- account42 5y agoWouldn't "less than, equal to, or greater than" imply anything EXCEPT unordered?
- lifthrasiir 5y agoAh, correct. The slashed variant would mean unordered, while the original character means ordered.
- alickz 5y ago> ⋚ U+22DA LESS-THAN EQUAL TO OR GREATER-THAN > ⋛ U+22DB GREATER-THAN EQUAL TO OR LESS-THAN These are very interesting. What would be the use case for these?
- a_shovel 5y agoPerhaps "has a comparison relation to"? So for any two numbers x and y, x ⋚ y is true, but "square ⋚ pentagon" is false.
- skykooler 5y agoMore concretely, it's true only for real numbers - so -4 ⋚ 7 is true, but 3+2i ⋚ 5 is false.
- vermarish 5y agoWhen I was learning statistical hypothesis testing, I once wrote notes that looked like "H_0: mu ⋚ a <--> p-value: P(T(X) ⋛ T(a))", although I didn't include the equal-to bar.
- mkl 5y agoThat sounds like a different symbol: ≶ U+2276 There are lots of similar symbols: ≶≷≸≹⋚⋛⪋⪌⪏⪐⪑⪒⪓⪔
- Nadya 5y agohttps://en.wiktionary.org/wiki/%E2%8B%9A https://en.wiktionary.org/wiki/%E2%8B%9A > If the function f is differentiable and concave, then f′(x1)⋚f′(x2) as x1⋛x2. That is f′(x1) and f′(x2) have the opposite relation as x1 and x2.
- bialpio 5y agoThis blew my mind: "Related terms ⋛ (synonymous when used on its own, but antonymous when used jointly)"