In the [HoTT book](https://hott.github.io/book/hott-online-82-g578b85c.pdf), the notation of the type of pointed types seems inconsistent. Definition 2.1.7: $\mathcal{U}_\bullet$ The end of Section 6.4 (Circles and Spheres): $\mathcal{U}_*$
In the HoTT book, the notation of the type of pointed types seems inconsistent.
Definition 2.1.7:$\mathcal{U}_\bullet$
The end of Section 6.4 (Circles and Spheres):$\mathcal{U}_*$