{
  "id": "[tex]/centernot",
  "component": "input/tex/extensions/centernot",
  "targets": ["input/tex/centernot"]
}