Lagrange's_notation loading ...