"Importable Android dictionary for Gboard that makes mathematical symbols easier to type using LaTeX-inspired keyboard shortcuts on a phone."
tags