zbMATH — the first resource for mathematics

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.