Обозначает тетрацию в методе Кнута для записи больших чисел. "x ⇈ y" — это "x" возведённый в степень "x" "y" раз.