Задача НАМ(с сегодняшнего экзамена(доставшаяся Степану и Алексею)), та самая.
Мой вариант (написан в сентябре-октябре)
!$ -> |!
! ->.
| -> $>
.$> -> $$&.
$& -> &$
&. -> &
& -> |
> -> .
. ->
-> !
Вариант Андрея Журавлева(написанный уже в конце семестра) на строчку короче, с 3 метасимволами, но с более сложными, объёмными условиями. Только вот не выложу без его разрешения (авторские права превыше всего).
А идея решения не сложная. (n+1)^2=n^2+2n+1.