3 ms·

We used the notation for Real numbers strictly greater than 0.

• konstantinua00 3y ago
  that's just the plus, no? I'm asking about the star
  • nomemory 3y ago
    The star means no 0. It might be redundant, yes.