In dem eigentlichen Zeichen für p liegt wirklich schon das
Zeichen „p ⌵ q”. (Denn es ist dann möglich dieses Zeichen ohne Weiteres zu bilden.)