leanblueprint: \ref{...} inside math-mode.

Stream: general

[Adrian Wüthrich]

Is there some way to reference theorems/equations inside math-mode? I suspect that this is a limitation of MathJax, is there any workaround?

[Patrick Massot]

Yes, this is definitely a MathJax limitation. But it should not be necessary anyway. What is your example?

[Adrian Wüthrich]

I have a long chain of inequalities inside an align environment and would like to link each step to a lemma:

\begin{align*}
    x
    & = a & \ref{lem:a} \\
    & = b  & \ref{lem:b} \\
    & = c
\end{align*}