Logical Symbols Meaning