Leibniz operator