added_tokens.json

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