{
  "formula": "B_X tensor_D Q = delta^-1 R Gamma_Delta DR_y^0(Q^[X])[2n] = Rj_*H",
  "scope": "D-type and a supplied proper locally projective SNC modification",
  "normal": {
    "coordinate": "w=y-x",
    "complex_dimension": 1,
    "real_dimension": 2,
    "real_slice": "Im x=Im y=0",
    "plotted_range": [
      -1,
      1
    ],
    "equal_axis_scale": true,
    "W": "X times (Y minus 0)",
    "diagonal_intersection": "x=y, y nonzero"
  },
  "sign": {
    "rn": "(-1)^(n(n-1)/2)",
    "cube": "rn*(-1)^n",
    "shift": "(-1)^(n^2)",
    "orientation": "rn",
    "product": 1
  },
  "nonabelian": {
    "S": [
      [
        0,
        1
      ],
      [
        1,
        0
      ]
    ],
    "T": [
      [
        0,
        -1
      ],
      [
        1,
        -1
      ]
    ],
    "v0": [
      1,
      0
    ],
    "left_ideal_element": "S-T",
    "right_product_defect": [
      2,
      1
    ]
  },
  "absolute_degrees": [
    {
      "input": "free",
      "relative": "n",
      "support": "n",
      "after_shift": 0
    },
    {
      "input": "flat",
      "relative": 0,
      "support": "2n",
      "after_shift": 0
    },
    {
      "input": "point",
      "relative": "n",
      "support": "n",
      "after_shift": 0
    }
  ],
  "point_head": "sum (-1)^nu/(nu!)^2 D^nu e0 -> [exp(1/x)/x]",
  "proof_locators": [
    "PD.5",
    "PD.22",
    "PD.27–PD.34a",
    "PD.39–PD.47",
    "PD.51–PD.57"
  ]
}