Hierarchical Representations From Large Mathematical Corpora