如何将R代码中的方程转换为可读文本并用于base R绘图标注？

你可以直接通过现成工具或轻量自定义函数，把R中写的数学函数自动转成text()等base R绘图函数支持的标准数学排版表达式，不需要手动逐行写LaTeX，完全覆盖阶乘、四则运算、幂运算的使用场景。

方案1：用Ryacas包一键转换（零手动成本） #

Ryacas是对接Yacas符号计算系统的R包，内置了R表达式转plotmath对象的能力，输出结果可以直接传给绘图函数渲染：

1. 安装并加载包：

   install.packages("Ryacas")
   library(Ryacas)
   

2. 直接提取函数体中的数学表达式，一行代码完成转换：

   # 卡特兰数公式转换
   catalan_expr <- body(catalanFormula)[[2]]
   catalan_math_label <- as_r(yac_str(catalan_expr), output = "plotmath")
   
   # 三角形数公式转换
   triangular_expr <- body(triangularFormula)[[2]]
   triangular_math_label <- as_r(yac_str(triangular_expr), output = "plotmath")
   

3. 绘图时直接传入即可，渲染效果就是标准的数学排版：

   # 测试绘图
   curve(catalanFormula, from = 0, to = 10, ylab = "C(n)")
   text(x = 3, y = 15000, label = catalan_math_label, cex = 1.3)
   

   阶乘符号、竖排分数、运算优先级都会自动适配，和标准数学公式排版效果一致。

方案2：自定义转换函数（无第三方依赖） #

如果不想装额外的包，写个几十行的递归转换函数就能覆盖你提到的所有运算类型，直接把R表达式转成plotmath对象：

to_plotmath <- function(expr) {
  # 处理数字、变量这类基础节点
  if (is.atomic(expr) || is.symbol(expr)) return(expr)
  # 转换阶乘：factorial(x) 渲染为 x!
  if (identical(expr[[1]], quote(factorial))) {
    return(bquote(.(to_plotmath(expr[[2]]))*"!"))
  }
  # 转换除法：a/b 渲染为竖排分数
  if (identical(expr[[1]], quote(`/`))) {
    return(bquote(frac(.(to_plotmath(expr[[2]])), .(to_plotmath(expr[[3]])))))
  }
  # 转换幂运算：a^b 原生支持上标渲染
  if (identical(expr[[1]], quote(`^`))) {
    return(bquote(.(to_plotmath(expr[[2]]))^.(to_plotmath(expr[[3]]))))
  }
  # 处理加减乘运算
  op <- expr[[1]]
  if (op %in% list(quote(`+`), quote(`-`), quote(`*`))) {
    left_part <- to_plotmath(expr[[2]])
    right_part <- to_plotmath(expr[[3]])
    # 乘法默认隐去乘号，符合常规数学书写习惯
    disp_op <- if (identical(op, quote(`*`))) "~" else as.character(op)
    return(bquote(.(left_part)*.(disp_op)*.(right_part)))
  }
  # 处理括号包裹的表达式
  if (identical(expr[[1]], quote(`(`))) {
    return(to_plotmath(expr[[2]]))
  }
  expr
}

调用方式和上面的包方法一致，直接提取函数表达式传入即可：

catalan_math_label <- to_plotmath(body(catalanFormula)[[2]])
triangular_math_label <- to_plotmath(body(triangularFormula)[[2]])

补充说明：base R原生支持plotmath语法的公式渲染，只要传给text()、legend()、title()的标签是expression类型，就会自动渲染成标准数学格式，不需要依赖LaTeX环境，渲染速度更快。

内容的提问来源于stack exchange，提问作者Luke Haws