Three Logical Symbols