Hi @all,

i´m new to context and so far i like it a lot more than messy latex.

i try to write some mathematical proofs and have a layout in mind which
i can´t implement in a nice way:
i want to write the proofs in a tree-like structure, where a 'subproof'
for a statement is indented below the statement. it should be possible
to do this on more than five levels, for more complex proofs, and across
pages would be nice.

Example:{
The mapping f is continous, because:
       f is a linear functional:
               it maps a vectorspace into its field and
               it is linear: f(a*x+b*y)=..
                                               =a*f(x)+b*f(y).
       and its null space is closed:
               .
               .
       so by theorem xy, f is continous
}

i have tried vtop, which works ok, but looks ugly, and splitting proofs
across multiple pages is a pain. is there a better way to do this?


tobias


___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : [email protected] / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Reply via email to