Symbolic Logic and Other Forms of Deductive Reasoning by Richard L. Trammell (En
(One exception is that truth trees are not discussed.). The five operator symbols used are: (.). and, (v) or, ( ) not, and also if-then, represented by the sideways U and material equivalence represented by the triple line.