Symbol: lm_is_eq_completion