Logic Symbols Computer Science