I jurar costumava haver uma camiseta para venda com as palavras imortais:

Qual parte do

vocênão Compreendo?

No meu caso, a resposta seria ... tudo isso!

Em particular, muitas vezes vejo notações como essas nos artigos de Haskell, mas não tenho ideia do que isso significa. Eu não tenho ideia de qual ramo da matemática deveria ser.

Eu reconheço as letras do alfabeto grego, é claro, e símbolos como "∉" (o que geralmente significa que algo não é um elemento de um conjunto).

Por outro lado, eu nunca vi "⊢" antes (Wikipedia afirma que pode significar "partição"). Eu também não estou familiarizado com o uso do vínculo aqui. (Geralmente denota uma fração, mas isso nãoaparecer para ser o caso aqui.)

Se alguém pudesse pelo menos me dizer por onde começar a procurar compreender o significado desse mar de símbolos, isso seria útil.