Meaning of dots in Lattice / Galois Connection

Question

Wondering what the dots mean (and what the whole element it's a part of means) in the slide below (above pos and neg). I have seen them in another similar presentation on data-flow lattices and Galois connections.

---

Answer 1

The context is not clear, but maybe pos means greater than zero, and dotted pos means great than or equal to zero? That would be logical, as dotted pos is the unification of pos and 0, for example.