notations of d-module pullbacks