To you visiting this page 3 years from today:
I found out that ufl.perp(u) does exactly what was needed for \vec{k} \times \vec{u}
To you visiting this page 3 years from today:
I found out that ufl.perp(u) does exactly what was needed for \vec{k} \times \vec{u}