{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"('∶',"}]}
    ('∶', "Ratio", ":"),
    ('꞉', "Modifier Letter Colon", ":"),
    ('ː', "Modifier Letter Triangular Colon", ":"),