I've done another iteration over the specs. There are still some pieces left. http://www.fenics.org/wiki/UFL/ -- Martin