Efectivamente, el rotacional apunta a la dirección positiva del eje z para x negativa y a la parte negativa del eje z para x positivo.