What is a rounded inequality sign called in mathematical statistics?

Question

Mathematics

There is a sign:

In this formula:

What does this sign mean? And what is it called?

Answer 1

On the left is a random variable, on the right is a distribution.
Unfortunately, I don't know what it's called.
PS all this expression is a formula, that is, we can talk about derivability / non-derivability.