Symbol_of_a_differential_operator loading ...