Creo que es así:
∇×(A ×F) =(∇⋅F)A − (∇.A)F + (F.∇)A − (A⋅∇)F
Donde:
∇⋅F=div(F),
∇.A=div(A),
F.∇ es un operador escalar (es el rpoducto interno del campo por el operador ∇ ).
Entonces queda:
∇×(A ×F) =(1+1+1)A − (0)F +(x*dA/dx, y*dA/dy, z*dA/dy) − (a*dF/dx, b*dF/dy, c*dF/dy)=3A - 0 + 0 - 1A= 2A
Saludos