FIX : INFOFIX is a flag setting or other piece of information.
A flag setting for TURNSTILE-INDENT-AUTO.
When printing a proof, fixes the turnstiles in the column given by
TURNSTILE-INDENT (so they'll all line up with one another).
Lines with large numbers of hypotheses will push the turnstile onto the
ETPS documentation homepage