Abstractor

Practical foundations for programming languages 's notation

$x_1,\dots ,x_n.a$ -> Within $a$, we can additionally use $x_1,\dots ,x_n$.