stray indexing in hlevels
stray indexing in homotopy
stray indexing in categories
stray indexing in categories
stray indexing in setmath
stray indexing in formal