Constraints -- A Search Engine for Mathematical Formulae -- Hierarchical Representations