New formula for UFC.

UFC is a framework for finite-element assembly used by the FEniCS
project.