Cross product boundary condition

Hello,

I’m trying to implement a maxwell Perfectl Electrical Conductor boundary and
this relies on the cross product with the normal vector,
(i.e under the surface integral it would be (n cross v)cdot(n cross E)
I got something like this:

bc = (specialcf.normal(3) cross vt)*(specialcf.normal(3) cross et)*ds(definedon="Copper")

but I don’t know what the ngsolve operator would be for cross, thanks in advance
and kind regards.

You can build the Cross-product of two 3D vectors with Cross(vec1,vec2)

Pec is just dirichlet boundary condition for the potential space as this is its natural trace.
Best