Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

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?

share|improve this question
add comment

1 Answer

up vote 3 down vote accepted

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}$

share|improve this answer
8  
While your answer is technically correct, I'd say it is basically wrong. The right answer is $(\lambda x. x\ x)(\lambda x. x\ x)$ cannot be $\beta$-reduced …. More generally, \text is very rarely appropriate in inline math. Display math is another story altogether. –  Harald Hanche-Olsen Apr 2 '11 at 14:19
    
In that regard, see this question –  Seamus Apr 2 '11 at 15:11
    
I'm using MathJAX, they only have math mode. –  FUZxxl Apr 2 '11 at 20:00
    
If you are using MathJax with HTML, why not just type the HTML entity? β-reduced produces "β-reduced" –  Willie Wong Apr 3 '11 at 0:22
    
Hm... yes. That would be an option. –  FUZxxl Apr 3 '11 at 7:56
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.