## 8.3.3 Proof indentation

 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.

 Page 312 of 800 Search logiweb.eu