See section 1.4 and section 4 of *Notation as a Tool of Thought<http://www.jsoftware.com/papers/tot.htm> *.
On Fri, Jan 18, 2013 at 3:13 AM, Raul Miller <rauldmil...@gmail.com> wrote: > On Fri, Jan 18, 2013 at 5:33 AM, Linda Alvord <lindaalv...@verizon.net> > wrote: > > What a simple way to write a proof in J. > > I like grouping equalities together, vertically on a page, with > explanatory text separating the groups. (If I need anything more than > short NB. quips to distinguish equalities, my explanation probably was > not good enough.) > > -- > Raul > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
