When using the
proof environment provided by the
amsthm package, you get an empty square box at the end of your proof as the default QED symbol.
Question: Is there a way to make it automatically put "QED" for some proofs but not others? Essentially, can one create a second proof environment which puts a different symbol at the end?