5˙313
Dasjenige was in „~p” verneint ist aber nicht das „~” sondern dasjenige was allen Zeichen dieser Notation welche „p” verneinen gemeinsam ist.
Also die gemeinsame Regel nach welcher ~p, ~~~p, ~p ⌵ ~p, ~p ∙ ~p, etc. etc. (ad. inf.) gebildet werden. Und dies gemeinsame spiegelt die Verneinung wieder.