Text this: The type set of a generalized Sobolev operator.