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

The limit of ^^ is $$\varepsilon_{\omega+1}$$