currently none of the tests touches https://github.com/FEniCS/ufl/blob/main/ufl/formatting/ufl2unicode.py