An implementation of a symbolic weak form interface for deal.II, using expression templates as well as automatic and symbolic differentiation.