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?
Asked
Active
Viewed 6,978 times
1 Answers
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
$(\lambda x. x\ x)(\lambda x. x\ x)$ cannot be $\beta$-reduced …. More generally,\textis very rarely appropriate in inline math. Display math is another story altogether. – Harald Hanche-Olsen Apr 02 '11 at 14:19β-reducedproduces "β-reduced" – Willie Wong Apr 03 '11 at 00:22