Index of new symbols in 2.12