Toot

Written by 0xDE on 2025-01-24 at 08:55

What do all those different squiggly equal signs mean?

A Wikipedia discussion on the symbol (\simeq) (called "asymptotically equal to" by the Unicode consortium, unicode U+2243) led me to https://math.stackexchange.com/questions/864606/difference-between-%E2%89%88-%E2%89%83-and-%E2%89%85 where I learn that it is commonly used for homotopy equivalence or maybe equivalence of categories. In my experience the more common symbol for asymptotic equivalence is (\sim). It's unfortunate that Unicode named these by a specific (and in this case dubious) choice of semantics than by a name that could convey a wider meaning. I guess the LaTeX name "simeq" also conveys the idea of a meaning "similar or equal" but "similar" can mean a lot of things.

The stackexchange link also discusses several other such symbols.

=> More informations about this toot | View the thread | More toots from 11011110@mathstodon.xyz

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113882492677859796
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
280.500007 milliseconds
Gemini-to-HTML Time
1.393784 milliseconds

This content has been proxied by September (3851b).