この省略形は実際に使われることがある。たとえば以下の論文とか。

https://arxiv.org/abs/0912.5031v1
https://arxiv.org/abs/1908.11059
https://arxiv.org/abs/2105.08258

あと、大学の講義で教授がいちいち黒板に「n=1〜∞」を書くのが
面倒くさいときに、{a_n}_n とだけ書くケースがたまにある。

ちょっと調べてみたが、高校だと {a_n} 一択みたいだな。