Internal cross-references

[neldredge]

We should have references to theorems, sections, equations, etc, within the paper, e.g.

By Theorem 2.8, ...

As shown in Section 3.4, ...

Applying (13) ...

This would require putting a \label on each \section, \begin{theorem}, \begin{equation}, etc, and using \ref to refer back to them. Probably the grammar rules should just insert a placeholder and let latex_pretty_print generate numbered labels.

In principle the perl code could keep track of whether each one is a theorem, lemma, etc, and adjust the wording at each \ref, but I think there may also be a LaTeX package to do this automatically.

[neldredge]

Actually the generation of numbered labels is exactly what the + and # rule mechanism does.

[AitzazImtiaz]

It will be more annoying, in fact as a customer here, I feel a burden to remove recognizable fake references, Please do something about this.