{
  "radius": 2,
  "T": [
    [
      -2,
      0
    ],
    [
      0,
      0.5
    ]
  ],
  "determinant": -1,
  "input_coordinates": [
    "x_1",
    "xi_1"
  ],
  "output_coordinates": [
    "x_1",
    "xi_1"
  ],
  "input_parameterization": "(2*cos(theta), 2*sin(theta))",
  "image_parameterization": "(-4*cos(theta), sin(theta))",
  "ellipse_equation": "w_1^2/16 + w_2^2 = 1",
  "image_of_positive_input_direction": "clockwise",
  "positive_ambient_output_direction": "counterclockwise",
  "proved_normal_transversal_dot_product_at_pi_over_4": "4/sqrt(34)",
  "proof_locators": [
    "LG5",
    "LG6",
    "LG7",
    "LG8"
  ],
  "external_source_expression_used": false,
  "analytic_index_depicted": false
}