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

The limit of the notation before ^^^^ is $$\varepsilon_0\omega$$. I believe the limit of ^^^^ is $$\varepsilon_{\omega}$$.