▣a box with a figure (a section: how many it holds); all are under “Figures” at the top
A → B: A is used in the proof of B
the arrows of the box you point at or selected
two sections each using the other
Adds the results this paper uses from the external source, in their own region, with their arrows into this paper’s results.
Select a node in the graph, or search above, to read its statement and proof.