  This white paper highlights current limitations in the algebraic closure
Unified Form Language (UFL). UFL currently represents forms over finite element
spaces, however finite element problems naturally result in objects in the dual
to a finite element space, and operators mapping between primal and dual finite
element spaces. This document sketches the relevant mathematical areas and
proposes changes to the UFL language to support dual spaces as first class
types in UFL.
