I'd like to make formal variables that can be multiplied, added etc. but have them labelled by two indices.
Here:
https://ask.sagemath.org/question/7925/a-list-of-symbolic-variables/
it's done for variables with one index, and I asked a similar question about defining differential forms with multi-labels here:
https://ask.sagemath.org/question/46844/how-to-define-multiple-objects-with-a-for-loop/
I see no clear way of merging these two approaches.