Notation 4.7.5.2. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f$ be a morphism of $\operatorname{\mathcal{C}}$ having source $X$ and target $Y$. 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 \hookrightarrow Y$ in place of $f: X \rightarrow Y$).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$