There is an undocumented constructor ``combstruct/Theta`` which can be used to signify pointing. It is the reification of $x \frac{d}{dx}$ to the level of grammars. It is not fully supported, but worked in the examples I tried.
There is an undocumented constructor ``combstruct/Theta`` which can be used to signify pointing. It is the reification of $x \frac{d}{dx}$ to the level of grammars. It is not fully supported, but worked in the examples I tried.