Very beautiful, the notation looks similar to Frege's concept script https://www.math.uwaterloo.ca/~snburris/htdocs/scav/frege/fr...