An arrow from A to B means that A implies B.
A boldfaced arrow from A to B moreover means that B does not imply A in ZF, so the arrow is provably not reversible in ZF.
If the image is too small, right click and select 'Show image' (or similar), or resize your browser window.
For the moment, please look up the references to these implications at the Consequences of the Axiom of Choice Project book.