LP, the Larch Prover -- The box-checking setting
The box-checking setting governs whether or not LP checks for the
presence of annotations marking the beginning and end of proofs steps in files
being executed by the execute command.
<set-box-checking-command> ::= set box-checking ( on | off )
set box on
LP checks <>'s and 's when it executes
commands from a .lp file and box-checking is on. It ignores
these annotations when box-checking is off.
See the box and diamond commands for details.