copilotPropositional Logic Symbols - Search