1
Does anyone know searching engine for arxiv.org math formulas? Like https://www.searchonmath.com and https://approach0.xyz/search/ In my opinion, we should have a search engine that can find formulas for all the journals and eventually all internet to make research progress more efficient.