Compute Vorticity from Velocity in Dolfinx

How do you define vorticity?

You can see my comments about 2D vorticity wrt to chosing an appropriate space:

As for moving the ufl-expression in to a function space, see for instance: Gradients and divergences in fenicsx - #4 by Gianna