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$.