@Override public IExpr evaluate(final IAST ast, EvalEngine engine) { Validate.checkSize(ast, 2); TeXUtilities texUtil = new TeXUtilities(engine, engine.isRelaxedSyntax()); IExpr arg1 = engine.evaluate(ast.arg1()); StringWriter stw = new StringWriter(); texUtil.toTeX(arg1, stw); return F.$str(stw.toString()); }