|m < \infty
||Queries are formulated in LaTeX.
||Standard math commands are supported but mathematical variables are not instantiated.
|?a^2 + ?b^2
||Search variables should be marked by a preceding question mark and ended by whitespace characters.
|?a+?b = ?b+?a
||Variables can occur multiple times and receive identical instantiations; this query matches commutativity.
||Query variables are also allowed in functional position.