Star of a cone in a fan
= Star of a cone in a fan
{title2=$\operatorname{Star}(\tau)$}
For a cone $\tau\in\Sigma$, its star is the fan in the quotient by $\operatorname{span}(\tau)$ formed from the images of all cones $\sigma$ containing $\tau$ as a face.