Изменения

** Возведение в степень в псевдокоде не писать через ^ (путается с '''xor'''). Лучше использовать ** или tex.

** <tex> \exists </tex> и <tex> \forall </tex>, если вдруг вам надо