CTAN update: MnSymbol 1.3