Example 4.3.6.7. Let $f: A \hookrightarrow B$ be an inner anodyne morphism of simplicial sets. Then the inclusion maps $f^{\triangleright }: A^{\triangleright } \hookrightarrow B^{\triangleright }$ and $i^{\triangleleft }: A^{\triangleleft } \hookrightarrow B^{\triangleleft }$ are inner anodyne.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$