Является ли это псевдокодом или есть такой язык программирования?
Судя по радикалу и символу объединения больше похоже на псевдокод. Понятие существования странное: как математик хочет, такие символы и применяет.
Реально видел спецсимволы в MatCAD и Julia. Для символов обычно используется код LATEX.
Но сам псевдокод а-ля Паскаль.
Больше похоже на паскаль в перемешку с псевдокодом