Notation 9.3.4.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f$ be a morphism of $\operatorname{\mathcal{C}}$ having source $X_0$ and target $X$. If $f$ is a monomorphism, we will sometimes visually emphasize this by denoting $f$ with a hooked arrow (that is, we will write $f: X_0 \hookrightarrow X$ in place of $f: X_0 \rightarrow X$). Beware that this convention can be ambiguous in some situations (for example if $\operatorname{\mathcal{C}}= \operatorname{\mathcal{S}}$ is the $\infty $-category of spaces; see Warning 9.3.4.2).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$