code: def find_symbols(pred):
      """
      Find every :obj:`~.Symbol` in *pred*.
  
      Parameters
      ==========
  
      pred : sympy.assumptions.cnf.CNF, or any Expr.
  
      """
      if isinstance(pred, CNF):
          symbols = set()
          for a in pred.all_predicates():
              symbols |= find_symbols(a)
          return symbols
      return pred.atoms(Symbol)
  
file_path: sympy/sympy/assumptions/satask.py
imports: from sympy.core.singleton import S
  from sympy.core.symbol import Symbol
  from sympy.core.kind import NumberKind, UndefinedKind
  from sympy.assumptions.ask_generated import get_all_known_matrix_facts, get_all_known_number_facts
  from sympy.assumptions.assume import global_assumptions, AppliedPredicate
  from sympy.assumptions.sathandlers import class_fact_registry
  from sympy.core import oo
  from sympy.logic.inference import satisfiable
  from sympy.assumptions.cnf import CNF, EncodedCNF
  from sympy.matrices.kind import MatrixKind
label_desc: Use image node_id 4 for calling a global function with example usage: find_symbols(pred) and returns: pred, symbols