I'm sorry. I have not noticed that this symbol is located in the example, so it's OK