Use a symbolic formula specification for the index plan