discussion:convergence_symbol