Ask HN: ¿Dónde están los buenos buscadores de fórmulas matemáticas?

Ask HN: Where are the good search engines for mathematical formulas?

Estoy buscando un buen buscador de fórmulas matemáticas. He probado algunos como approach0.xyz, que parece estar offline, y onmath.com, que da resultados irrelevantes (por ejemplo, muestra p = m v cuando busco F = m a). También he visto search.mathweb.org, pero parece una colección de proyectos abandonados. ¿Alguien conoce una herramienta que funcione bien?