Kerodon

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

Remark 4.3.3.29. For every simplicial set $X$, Remark 4.3.3.20 supplies a canonical isomorphism $(X^{\triangleleft })^{\operatorname{op}} \simeq (X^{\operatorname{op}})^{\triangleright }$, carrying the cone point of $X^{\triangleleft }$ to the cone point of $(X^{\operatorname{op}})^{\triangleright }$.