There are parsing issues in tags 09YX, 0DAG. From a preliminary look, I think the issue comes from the alignment tab inside the xymatrix macro conflicting with the parsing in the ambient align* environment.
Incidentally, I think this issue also explains the TODO on lines 64 to 66 in Renderers/Gerby/__init.py: for some reason, plasTeX is giving up parsing the xymatrix, inserts an \end{align*}before the \end{proof}, then the \end{proof} node becomes a stray proof node that has no userdata attribute.
chngr
commented
6 years ago
There are parsing issues in tags
09YX,0DAG. From a preliminary look, I think the issue comes from the alignment tab inside thexymatrixmacro conflicting with the parsing in the ambientalign*environment.Incidentally, I think this issue also explains the
TODOon lines 64 to 66 inRenderers/Gerby/__init.py: for some reason, plasTeX is giving up parsing thexymatrix, inserts an\end{align*}before the\end{proof}, then the\end{proof}node becomes a strayproofnode that has nouserdataattribute.