Auf der Suche nach Cheat Sheet zu JC Reynolds Symbolen

Question

Insbesondere seine Verwendung von kleinem Epsilon, das am Ende von Abschnitt 1 der "Typen, Abstraktion und parametrischen Polymorphismus" eingeführt wurde, wirft mich, aber im Allgemeinen möchte ich Verweise auf Symbole in der Art und logischen Beziehungsliteratur.

Answer 1

Sie werden keine Liste aller jemals verwendeten Notationen finden. Abgesehen von einigen Standardnotationen definiert jedes Papier die Notation, die es verwendet.

Dieses Papier stammt aus dem dunklen Zeitalter der Schreibmaschinen -Arten, sodass die typografische Qualität unterdurchschnittlich ist. Der Charakter ε steht für $ in $, der Standardmathematik -Notation für die festgelegte Mitgliedschaft.