Улитка Дорофеева — это логическая нотация, требующая от читателя умения переводить с логического на человеческий язык. Графически она выглядит следующим образом