< Chronological >      < Thread >

Leslie Lamport the author of LaTeX wrote an article about using a structured style to use for writing proofs. I can't remember the name of the article or how to find it off hand and I don't have time to look it up. What I remember though is that when I used it I found it really did help with readability of my mathematical proof. I've also used the similar modification to the equation array in TeXmacs. I knew even less about it than I do now and I still don't know how to solve the problem you're presenting. I did about the same thing you're doing there.

I can't do the experiment and figure it out for you because I'm too busy. I would start with trying to put a 'document' structure inside that last column then play with the table and cell settings in case it needs to wrap for long lines. Start with reading the source to included macros, perhaps the float environments like table and figure or example,  proof,  etc have it.

For writing proofs in the style that Leslie Lamport advocates in the article I mentioned I think we would need sort of a list style. Each proof step list item's number needs to be accessible via a label for referencing from inside the notes field. But the label is optional,  and must be filled in by the user because it's not needed for every step and to make it line number independent in case of insertions or rearrangement during editing.

I want outline editing functions and keybindings, to move nested enumerated lists around. For a proof writing list environment the same keys would occasionally be useful.

• [TeXmacs] My Modified eqnarray* Environment, Michael Shea, 01/20/2016
  • Re: [TeXmacs] My Modified eqnarray* Environment, Karl Hegbloom, 01/20/2016

Archive powered by MHonArc 2.6.19.