given the concept of *Heisenberg Lie n-algebra*, there is an evident definition of *Weyl n-algebra*: its universal enveloping E-n algebra.

I noted that down for reference at *Weyl n-algebra*. In the process I noticed that Markarian proposed a different definition just a few months back