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

Here's what I found so far approach0.xyz : offline searchonmath.com : Gives irrelevant results such as p = m v when searching for F = m a https://search.mathweb.org/: A collection of abandoned projects and offline sites