I think this is just sympy's notation for generating multiple symbols with similar names.