special_tokens_map.json

{
  "additional_special_tokens": [
    "<formula>"
  ],
  "eos_token": "<eos>",
  "unk_token": "<unk>"
}