I prepared my notes on algebra and I faced this :enter image description here

Here the first implication is not in the correct position by comparing to others, so I want to know how to align this implications ? The only problem here is the first implication. How to align this implications equally for a good look?

For this implications, I typed


& a \rho b \wedge b \rho c \implies (a-b\;\text{is a multiple of $m$}) \wedge (b-c\;\text{is a multiple of $m$}) \\

 & \implies (a-b=k_1m) \wedge (b-c=k_2m) ,  k_1,k_2 \in \Bbb Z \\

 & \implies (a-b)+(b-c)=k_1m+k_2m \\

 & \implies a-c=(k_1+k_2)m \\

 & \implies a \rho c 


Any help?

  • 2
    Welcome to tex.sx. The first line of the display contains \implies. To get the desired alignment, move the & from the beginning of the line to just before the \implies. (And consider taking a look at the amsmath user guide -- texdoc amsldoc.) Also, don't put blank lines in any math expression; that will only get you error messages. – barbara beeton Jun 29 '19 at 1:39
  • Oh! super! its working!...Thanks! Make your comment as an answer and add other informations if any and if you wish! – Chinz Jun 29 '19 at 1:44

Because you gave us no complete mwe I have to guess a little bit. Please see the following mwe



a \rho b \wedge b \rho c 
  &\implies (a-b\;\text{is a multiple of $m$}) \wedge (b-c\;\text{is a multiple of $m$}) \\
  &\implies (a-b=k_1m) \wedge (b-c=k_2m) ,  k_1,k_2 \in \Bbb Z \\\
  &\implies (a-b)+(b-c)=k_1m+k_2m \\\
  &\implies a-c=(k_1+k_2)m \\\
  &\implies a \rho c 

and its result:

resulting pdf

Please see that I moved the first & in your code to &\implies and deleted all blank lines inside environment align* ...

| improve this answer | |
  • 1
    Thank you for sharing your thoughts! – Chinz Jun 29 '19 at 1:48
  • 1
    @Chinz You are welcome! – Mensch Jun 29 '19 at 2:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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