LaTeXs Semantic representation and matching of LaTeX expressions Demo: https://omer1yuval1.github.io/LaTeXs/