Notation_for_differentiation loading ...