Vega is the name used in this study for tokenize_formula and label_tokens; both functions implement the described conversion.
