CTAN upload: symbolindex