1

I tried something like $(\lambda x. x\ x)(\lambda x. x\ x) \text{cannot be \beta-reduced to something else}$. How can I make TeX output a real beta where I want?

FUZxxl
  • 2,414

1 Answers1

4

I found out how to do it by myself. I just had to encapsulate the \beta into dollar signs again: $(\lambda x. x\ x)(\lambda x. x\ x) \text{cannot be $\beta$-reduced to something else}$

FUZxxl
  • 2,414