Logiweb(TM)

8.3.3 Proof indentation

Prev Up Next Page 312 of 800 Search internet


To get rendering right, you have to include this construct at the beginning of your document:

   prepare proof indentation

It renders like this:

   \ifx\indentation\undefined
   \newlength{\indentation}\setlength{\indentation}{0em}
   \fi

If you get an error running latex you should read the appropriate .log file from latex. If the log file complains about \indentation not being defined, you have probably forgotten or misplaced a prepare proof indentation. Put it early in your source. At least put it before the first proof.

Prev Up Next Page 312 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05