Proof settings

Proof type
Above
Left
Right
Below