I am using the package amsthm to type my assignments and I have encountered the following problem. Here's the code I use:


    $lefthalf(L) := \{w_1 :  \exists w_2 \in \Sigma^*.w_1w_2 \in L.|w_1| = |w_2|\}$.

{\textbf{Claim 1.}} $lefthalf(L) := \{w_1 :  \exists w_2 \in \Sigma^*.w_1w_2 \in L.|w_1| = |w_2|\}$.


This gives the following result:

New line problem while using newthm in lists

As you can see in (a), the claim begins on the second line. I would like my claim to be as in (b) where I simulate the style I want. Is there any way I could get rid of this extra newline occuring when I use newthm in a list? I have tried to change theoremstyle but couldn't get it to work.

Any ideas on how to solve this problem?

Thanks a lot.

  • 1
    You might want to take a look at How to remove line breaks before and after theorems?. Note that it is not best practice to use an enumerate and then a theorem-like environment, the latter has a counter already (a) Claim 1 seems somewhat redundant. It would be better to drop the enumerate or not to use the claim environment. – moewe Sep 11 '13 at 17:37
  • @GonzaloMedina Don't add text to the automatically added comment for a “possible duplicate”, because the comment will be removed by the system if the question is actually marked as duplicate. – egreg Sep 11 '13 at 17:40
  • 1
    This has nothing to do with your question, but you should use \mathit{lefthalf} for a multiletter variable or function name. – egreg Sep 11 '13 at 17:41
  • @egreg I didn't know that. Thanks. – Gonzalo Medina Sep 11 '13 at 17:43
  • @GonzaloMedina See meta.tex.stackexchange.com/questions/3786/… – egreg Sep 11 '13 at 17:47