Ask HN: Where are the good search engines for mathematical formulas? | Dark Hacker News