hyperref does this with the "\ref{}" command, it can link to any defined \label

		evomassiny on Aug 29, 2024 \| parent \| context \| favorite \| on: The Future of TLA+ [pdf] hyperref does this with the "\ref{}" command, it can link to any defined \label