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
text/gemini
This content has been proxied by September (3851b).