Logic Symbols In Semantics