ругаться раньше продавалась футболка с бессмертными словами:

Какая часть

выне Понимаю?

В моем случае ответ будет ... все это!

В частности, я часто вижу подобные обозначения в документах на Haskell, но я понятия не имею, что это означает. Я понятия не имею, что это за раздел математикидолжно быть.

Я, конечно, узнаю буквы греческого алфавита и такие символы, как «∉» (что обычно означает, что что-то не является элементом набора).

С другой стороны, ямы никогда не видели "⊢" до (Википедия утверждает, что это может означатьраздел»). Я'Я также незнаком с использованием винкулюма здесь. (Обычно это обозначает дробь, но это непоявиться быть здесь.)

Если бы кто-нибудь мог хотя бы сказать мне, с чего начать поиск, чтобы понять, что означает это море символов, это было бы полезно.