  This brief note explicates some mathematical details of Phys. Rev. Lett. 118,
130201 (2017), by showing how a version of the operator of that paper can be
rigorously constructed on a well-defined linear space of functions.
