User blog comment:Alejandro Magno/Extended Arrow Notation/@comment-99.185.0.100-20150808172859/@comment-99.185.0.100-20150808173006

The limit of ^(2)^ is \epsilon_{\omega}\omega.