This procedure checks to see if the given name, f, is the name of a mathematical function known to Maple.

The definition of a mathematical function, in this context, is heuristic but reasonably effective: A name, $g$, is considered to represent a mathematical function if either $g$ has been defined as an operator or there exists a routine called $\mathrm{evalf/g}$.  (See evalf for more details about numerical evaluation of functions and expressions.)

The following top-level mathematical functions are known to type/mathfunc:

$\mathrm{type}\left(h\,\mathrm{mathfunc}\right)$

$\mathrm{false}$

`evalf/h` := proc(x) evalf(x^2); end:

$\mathrm{type}\left(h\,\mathrm{mathfunc}\right)$

$\mathrm{true}$

$\mathrm{type}\left(x\mapsto x^2\,\mathrm{mathfunc}\right)$

$\mathrm{true}$