Source TeX:
\phi : R^n \times R^n \mapsto R