我尝试了类似的东西$(\lambda x. x\ x)(\lambda x. x\ x) \text{cannot be \beta-reduced to something else}$。如何让 TeX 在我想要的地方输出真正的测试版？
答案1
我自己找到了解决办法。我只需要\beta再次将其封装成美元符号：$(\lambda x. x\ x)(\lambda x. x\ x) \text{cannot be $\beta$-reduced to something else}$
如何在数学中的 \text 环境中使用希腊字母？