Re:Much less than, Much greater than symbols
by thih9 on Sunday September 12, 2021 @05:25AM
(#28499728)
How is the ⪒ used?
[ Parent
| on HN ]
Re:Much less than, Much greater than symbols
by this-pony on Sunday September 12, 2021 @06:10AM
(#28499879)
I could see people using this symbol when proving for example that x = 0. Say they first show x \geq 0 and then x \leq 0. Then they've shown x ⪒ 0, and therefore x = 0. But yeah, a symbol like '⪒' for this purpose is maybe natural to write on a blackboard, maybe not so much in electronic form.
I'm not aware of any other purposes.