Construction 11.6.0.81 (The Mapping Simplex). The contents of this tag are now at Notation 5.3.2.11.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Construction 11.6.0.81 (The Mapping Simplex). The contents of this tag are now at Notation 5.3.2.11.