Support : operator in symbolic variable indexing