Leibniz_notation loading ...