This is my first question here, I hope it's not bad (please bear with me if it is).

I have quite a specific problem concerning inline math and theorem environment. In general, I want to obtain the behavior of \align or amsmath \multline in inline math and theorem environment (I am using LNCS style file, so it is actually either definition or \spnewtheorem).

To be more specific: I have a long logical formula within definition with a normal line break which makes the formula not very clear (see image below).

$UNT_{2}(a,b) \equiv_{\text{df}}\exists t_1\exists t_3 > t_1[(a \in t_1) \land  (b \in t_3) \land (a \not\in t_3) \land \forall t_2( t_1<t_2<t_3 \to a \in t_2)]$

Normal line break

I would like the formula to start on the same line as "Definition 3" but:

  1. In a new line the formula should be aligned to the \equiv sign (I like the approach taken here but I am not sure how to make it work with \equiv)
  2. I would like to be able to control (at least to some extent) on which operator the formula breaks

I am aware of breqn package but it does not really work with inline math nor do the methods provided by amsmath. I tried using description but it doesn't help.
Of course I could just break my expression into a few expressions and try to make it work with \\ and \, but this seems very bad.

Any help would be very appreciated.


1 Answer 1


You can use aligned. I used amsthm for defining the environment, you should be able to adapt to llncs.




 \mathit{UNT}_{2}(a,b) \equiv_{\mathrm{df}}{}
  & \exists t_1\exists t_3 > t_1[(a \in t_1)
    \land  (b \in t_3) \land (a \not\in t_3) \land {}\\
  & \forall t_2( t_1<t_2<t_3 \to a \in t_2)]


The alignment point has been set after the equivalence symbol; for this it's necessary to have {} in order to ensure correct spacing.

enter image description here


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .