Writing something like: const expr = ce.parse("\\forall x, x>y"); Produces a console.info(expr.json) of: ["ForAll", "x", ["Greater", "x", "y"]] But the latex of it - console.info(expr.latex) is: \forall x