Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Definition 3.2.1.1. A pointed simplicial set is a pair $(X,x)$, where $X$ is a simplicial set and $x$ is a vertex of $X$. If $X$ is a Kan complex, then we refer to the pair $(X,x)$ as a pointed Kan complex.