Live data from Hacker News

U+237C ⍼ Right Angle with Downwards Zigzag Arrow

ionathan.ch

161–170 of 312 posts

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#161
post #89

Earlier quoted context omitted.

Usually called Little Free Libraries in the US. (The name is a little weird, because regular libraries are also free...)

FWIW "Little Free Library" is a trademark and its owners have been aggressive in its defense. I don't know what folks should use as a generic name.

Buurtbieb - in English, roughly pronounced as b-eew-rt-beep.

It's a literal translation of "neighbourhood library", it alliterates, and it sounds cute. (Keep the "beep" part short for that).

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#162
post #138

Dislosure: I'm not directly from the fields of the Sciences Of Angles And Ambiguously Crossing Lines nor I've every seen or used this symbol before. However to me it's, pretty evidently, supposed to be a "no right angle" symbol. (A) It's in the math section, (B) it's with angles, (C) the thunderbolt ↯ is commonly used for "not" or more specifically for dis-proof in this area and (D) at least by my 30 s internet searc…

> (C) the thunderbolt ↯ is commonly used for "not" or more specifically for dis-proof in this area Any examples?

I believe in German (possibly also other languages) the thunderbolt ↯ is commonly used to mean "this is a contradiction" in a mathematical proof, equivalently to in English a kind of ⋕ rotated by 45° or the symbol ※. The symbol ⟂ on the other hand means "false" and is used in particular in formal logic.

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#164
post #139

Dislosure: I'm not directly from the fields of the Sciences Of Angles And Ambiguously Crossing Lines nor I've every seen or used this symbol before. However to me it's, pretty evidently, supposed to be a "no right angle" symbol. (A) It's in the math section, (B) it's with angles, (C) the thunderbolt ↯ is commonly used for "not" or more specifically for dis-proof in this area and (D) at least by my 30 s internet searc…

Right angles have a small box near the vertex which denotes it is a right angle [0]. This symbol doesn't have that box, so I don't think it's a right angle. [0] https://en.wikipedia.org/wiki/Right_angle#/media/File:Right_... Edit: This merely adds to the confusion, since the name of the glyph contains the words "right angle." ¯\_(ツ)_/¯

https://en.wikipedia.org/wiki/Right_angle

> In Unicode, the symbol for a right angle is U+221F ∟ RIGHT ANGLE (HTML ∟ · ∟). It should not be confused with the similarly shaped symbol U+231E ⌞ BOTTOM LEFT CORNER (HTML ⌞ · ⌞, ⌞). Related symbols are U+22BE ⊾ RIGHT ANGLE WITH ARC (HTML ⊾ · ⊾), U+299C ⦜ RIGHT ANGLE VARIANT WITH SQUARE (HTML ⦜ · ⦜), and U+299D ⦝ MEASURED RIGHT ANGLE WITH DOT (HTML ⦝ · ⦝).[5]

> In diagrams, the fact that an angle is a right angle is usually expressed by adding a small right angle that forms a square with the angle in the diagram, as seen in the diagram of a right triangle (in British English, a right-angled triangle) to the right. The symbol for a measured angle, an arc, with a dot, is used in some European countries, including German-speaking countries and Poland, as an alternative symbol for a right angle.[6]

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#165

Dislosure: I'm not directly from the fields of the Sciences Of Angles And Ambiguously Crossing Lines nor I've every seen or used this symbol before. However to me it's, pretty evidently, supposed to be a "no right angle" symbol. (A) It's in the math section, (B) it's with angles, (C) the thunderbolt ↯ is commonly used for "not" or more specifically for dis-proof in this area and (D) at least by my 30 s internet searc…

> the thunderbolt ↯ is commonly used for "not" or more specifically for dis-proof in this area and

I don't think it's that common. At least, I don't recall seeing it ever. Maybe it's used in non-English mathematics?

Wikipedia mentions it's also used in electrolysis so maybe this new one is related to that somehow?

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#166
post #34

Earlier quoted context omitted.

We can't assume a signed int, as character encodings limit the number of codepoints: "Excluding surrogates and noncharacters leaves 1,111,998 code points available for use." -- https://en.wikipedia.org/wiki/Unicode#:~:text=Excluding%20su...

Besides the difference between the abstract and unlimited Unicode and the encodings, our current "modern" encodings, UTF-8 and the new UTF-16 are artificially restricted and can be trivially expanded into a huge number of codepoints just by removing those restrictions.

New UTF-16? I'm only aware of the original 1996 one, which uses all of its 20 surrogate-pair bits for the codepoint (unlike UTF-8 which can use bits to extend to more bytes). In my understanding, "just" removing that restriction would mean completely replacing the encoding, like UCS-2 being replaced with UTF-16. The new one may have some overlap, but transitioning to it would still be a huge undertaking, and far from trivial (quite a few programs today still use UCS-2, quarter of a century after UTF-16 was introduced to replace it).

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#167
post #55

Earlier quoted context omitted.

Sometimes people should be able to do nice things without it getting abused, no? In The Netherlands, in the nicer neighborhoods we have something called a ‘buurtbieb’ aka a ‘neighborhood libraries’, which is a weatherproof cabinet where people can put surplus books that other people in the neighborhood can borrow. Of course you could take all the books or use the cabinet to store candy, but why would you?

We have them in Toronto, ON. We call them LLLs or Little Lending Libraries. There are actually quite a lot of them.

We have them out in the 905s too. I've seen quite a few of them here in Durham Region.

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#168

Earlier quoted context omitted.

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

Wouldn't "less than, equal to, or greater than" imply anything EXCEPT unordered?

Ah, correct. The slashed variant would mean unordered, while the original character means ordered.

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#169

Might we run out of Unicode code points, like we (seem to) be running out of IPv4 addresses? As another comment mentions, once you add all these snowmen, with/without snow, male female and gender-neutral, in a few skin colour options (plus neutral)... it adds up. Plus, exponential growth once you consider family of snowmen (different number/genders/races of "parents", different number/gender/races of "children" and s…

There is no reason to believe the current rate (about ~35,000 over the period 2010--2020) to change rapidly, so we are probably safe for this century. You should be aware that emoji gender and skin color is encoded in character sequences and modifiers rather than atomic characters, exactly in order to avoid that exponential growth. And in the unlikely case that Unicode gets so many characters somehow, you can always…

Ok but what about all the cryptocurrency symbols? Those will probably accelerate the rate.

Perhaps not by a significant or even measurable amount. Nonetheless, it's a great reason to start investigating a blockchain alternative to Unicode

Re: U+237C ⍼ Right Angle with Downwards Zigzag Arrow

#170
post #132

Earlier quoted context omitted.

> ⋚ 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?

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

That sounds like a different symbol: ≶ U+2276

There are lots of similar symbols: ≶≷≸≹⋚⋛⪋⪌⪏⪐⪑⪒⪓⪔

Post reply on HN