Мы совершаем такие странные телодвижения с индексами и другими штуками из-за проблем интерпретации Latex в SymPy. Если в уравнении есть что-то вроде HELLO, то SymPy воспринимает это не как цельную переменную, а как H*E*L*L*O: то есть умножение переменных, названных одиночными буквами.
global local - это сильно
бывает