A Search Engine for Mathematical Formulae