Reconstructing MathTypes