funapp is provided by functions.tex module