Fix for ufl2unicode rewrite#5058

connorjward wants to merge 3 commits into

mainfiredrakeproject/firedrake:mainfrom

connorjward/test-ufl2unicodefiredrakeproject/firedrake:connorjward/test-ufl2unicodeCopy head branch name to clipboard