m < \infty
Queries are formulated in LaTeX.

\sin(x)
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.

?f(?a+?b)
Query variables are also allowed in **functional position**.