copilotSymbolic Logic Symbols - Search