我发誓曾经有一件t恤上印着不朽的文字:

---

哪部分

你不明白吗?

---

就我而言，答案是……全部!

特别是，我经常在Haskell的论文中看到这样的符号，但我不知道它的任何含义。我不知道这应该是数学的哪个分支。

我当然认得希腊字母和“结果”这样的符号(通常表示某样东西不是集合的元素)。

另一方面，我以前从未见过“⊢”(维基百科声称它可能意味着“分区”)。我也不太熟悉这里的温剂。(通常，它表示一个分数，但在这里似乎不是这样。)

如果有人至少能告诉我从哪里开始理解这些符号的海洋，那将是有帮助的。