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