Gauss_notation loading ...