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

·Hacker News ·4 July 2026