added_tokens.json

{
  "$$": 32104,
  "\\": 32100,
  "^": 32101,
  "{": 32102,
  "}": 32103
}