Talk:Suppes–Lemmon notation

notation
Should I use the same notation that Lemmon uses in Beginning Logic? He uses some non-standard notation, like a dash for negation, an ampersand for and, and (x) for for all x. I think it would be less confusing if I were to use standard notation, but it isn't technically the proof system he specifies, so please advise as to what protocol to follow. TheoLaLeo (talk) 19:16, 11 January 2021 (UTC)