One reason for thinking the old notation wrong is that it is very unlikely that from every proposition p an infinite number of other propositions not-not-p, not-not-not-not-p, etc., should follow.