Leibniz's_notation loading ...