special_tokens_map.json

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