Kerodon

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

Warning 2.2.8.6. Definition 2.2.8.5 is not standard. The term $2$-category was originally used for what we refer to as a strict bicategory (Definition 2.2.0.1), where $2$-morphisms are not required to be invertible.