Notation explanation: $\overset{\$}\leftarrow$

Question

I am reading Fully Homomorphic Encryption over the Integers and have come across notation I don't understand, and doesn't appear to be defined:

The secret key is an odd $\eta$-bit integer: $p \overset{\$}\leftarrow (2\mathbb{Z} + 1) \cap [2^{\eta−1}, 2^\eta)$

---

(page 6)

Specifically, the part I don't understand is the $\overset{\$}\leftarrow$ notation, all I can think is that it's an odd way to write 'choose a random number that satisfies the following criteria'

Can anyone help, or confirm this is the case please?

Answer 1

Yes, this notation means that $p$ is sampled randomly. For a similar question, see Strange notation using dollar sign on Crypto.SE.