Kerodon

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

Remark 3.2.1.2. We will often abuse terminology by identifying a pointed simplicial set $(X,x)$ with the underlying simplicial set $X$. In this case, we will refer to $x$ as the base point of $X$.