OK, I guess I just didn't remember it using it from `sympy.core.compatibiltiy`.