Vector rotateSpinor(Vector vec)

Source 

Vector rotateSpinor(Vector vec) {
  return new Vector(x * vec.x - y * vec.y, x * vec.y + y * vec.x);
}