Hand TeX uses machine learning to find the matching LaTeX symbol and also offers a searchable list of all symbols.

It features over 3500 symbols and their variations, of which over 1700 are unique.

It operates fully offline, no internet connection at all.