nothing particular, symbols inside should be index in terms for faster
lookup and to distinguish variables (they should not be symbols)