WolframAlpha computational knowledge AI
curl (curl F)