I jurar solía haber una camiseta a la venta con las palabras inmortales:

Que parte de

Vos sino ¿entender?

En mi caso, la respuesta sería ... ¡todo!

En particular, a menudo veo una notación como esta en los documentos de Haskell, pero no tengo ni idea de lo que significa. No tengo idea de qué rama de las matemáticas se supone que debe ser.

Reconozco las letras del alfabeto griego, por supuesto, y símbolos como "" (que generalmente significa que algo no es un elemento de un conjunto).

Por otro lado, nunca he visto "⊢" antes (Wikipedia afirma que podría significar "partición"). Tampoco estoy familiarizado con el uso del vinculum aquí. (Por lo general, denota una fracción, pero eso noAparecer para ser el caso aquí.)

Si alguien al menos pudiera decirme dónde empezar a buscar para comprender qué significa este mar de símbolos, eso sería útil.