|
|
|
|
|
|
by this-pony
1737 days ago
|
|
|
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. |
|
|