Update documentation for index formula specification