3 ms·

Thanks very much. I'm glad I asked. Clearly, I had failed to really internalize what it means to be a linear operator!