I'd like to have global spacing between the statement and justification in logicproof. It should preserve the alignment on the justification/right-hand column. Something like this:

enter image description here

This is my code


I take it that...

(P \rightarrow (Q \rightarrow P)) & premise%

and then going...

which gives enter image description here

  • What's the difference to this question tex.stackexchange.com/questions/359765/… – Marco Daniel Mar 23 '17 at 9:15
  • I want to retain the column alignment, and control the amount of indentation, which I wasn't careful to specify in the other question. As I didn't understand your code, I couldn't work it out myself. Sorry! – JGD Mar 23 '17 at 20:12

Your Answer

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

Browse other questions tagged or ask your own question.