W g : A ( ↑ ) → U ( g ) {\displaystyle W_{\mathfrak {g}}\colon {\mathcal {A}}(\uparrow )\to {\mathcal {U}}({\mathfrak {g}})} and PBW.