Some simplification functions are defined here for later use
Define differential operator (for type-a index)