zbMATH — the first resource for mathematics

m < \infty Explanation: Query queries are formulated in LaTeX.
\sin(x) 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.
?f(?a+?b) Explanation: Query variables are also allowed in functional position.