Hacker News new | ask | show | jobs
by nomemory 814 days ago
We used the notation for Real numbers strictly greater than 0.
1 comments
konstantinua00 814 days ago
that's just the plus, no?

I'm asking about the star

link
nomemory 814 days ago
The star means no 0. It might be redundant, yes.
link