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