Warning 9.3.1.26. In general, neither implication of Corollary 9.3.1.25 is reversible. See Example 9.3.2.11.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Warning 9.3.1.26. In general, neither implication of Corollary 9.3.1.25 is reversible. See Example 9.3.2.11.