tokens.json

{
	"forall": "\\bforall\\b|∀",
	"tab": "\\t",
	"space": "\\r\\n|\\n|\\r|(?: )+",
	"lparen": "\\(",
	"rparen": "\\)",
	"colon": ":",
	"semicolon": ";",
	"question": "\\?",
	"arrow": "→|->",
	"comma": ",",
	"backslash": "\\\\",
	"unquote_splicing": "\\$@",
	"unquote": "\\$",
	"at": "@",
	"double_asterisk": "\\*\\*",
	"asterisk": "\\*",
	"aug_plus": "\\+=",
	"aug_minus": "-=",
	"aug_times": "\\*=",
	"aug_matmul": "@=",
	"aug_div": "/=",
	"aug_mod": "%=",
	"aug_and": "&=",
	"aug_or": "\\|=",
	"aug_xor": "\\^=",
	"aug_lsh": "<<=",
	"aug_rsh": ">>=",
	"aug_exp": "\\*\\*=",
	"aug_truediv": "//=",
	"ellipsis": "\\.\\.\\.",
	"dot": "\\.",
	"bit_or": "\\|",
	"bit_xor": "\\^",
	"bit_and": "&",
	"bit_lsh": "<<",
	"bit_asr": ">>>",
	"bit_rsh": ">>",
	"ge": ">=",
	"le": "<=",
	"eq": "==",
	"ne": "!=",
	"lt": "<",
	"gt": ">",
	"equal": "=",
	"plus": "\\+",
	"minus": "-",
	"truediv": "//",
	"div": "/",
	"mod": "%",
	"tilde": "~",
	"lbrack": "\\[",
	"rbrack": "\\]",
	"lbrace": "\\{",
	"rbrace": "\\}",
	"exclamation": "\\!",
	"sss_string": "'''(?:.|\\n)*?'''",
	"ddd_string": "\"\"\"(?:.|\\n)*?\"\"\"",
	"s_string": "(?:''(?!'))|(?:'(?:\\\\'|[^'\\n])+')",
	"d_string": "(?:\"\"(?!\"))|(?:\"(?:\\\\\"|[^\"\\n])+\")",
	"fsss_string": "f'''(?:.|\\n)*?'''",
	"fddd_string": "f\"\"\"(?:.|\\n)*?\"\"\"",
	"fs_string": "(?:f''(?!'))|(?:f'(?:\\\\'|[^'\\n])+')",
	"fd_string": "(?:f\"\"(?!\"))|(?:f\"(?:\\\\\"|[^\"\\n])+\")",
	"id": "[a-zA-Z_][a-zA-Z0-9_]*",
	"pointfloat": "(?:[0-9][0-9_]*)?\\.[0-9][0-9_]*",
	"expfloat": "(?:(?:[0-9][0-9_]*)|(?:(?:[0-9][0-9_]*)?\\.[0-9][0-9_]*))[eE][+-][0-9][0-9_]*",
	"decimal_int": "[1-9][0-9_]*",
	"hexadecimal_int": "0x[0-9A-Fa-f_]",
	"octal_int": "0[0-7_]*",
	"binary_int": "0b[01_]+",
	"comment": "#[^\\n]*(?=\n)"
}