Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle