Fixing formulae parenthesis when printing proofs