). ▁ ▁The ▁relationship ▁of ▁the ▁Mo yal ▁product ▁to ▁the ▁generalized ▁ ★ - product ▁used ▁in ▁the ▁definition ▁of ▁the ▁" algebra ▁of ▁symbols " ▁of ▁a ▁universal ▁en velop ing ▁algebra ▁follows ▁from ▁the ▁fact ▁that ▁the ▁W ey l ▁algebra ▁is ▁the ▁universal ▁en velop ing ▁algebra ▁of ▁the ▁He isen berg ▁algebra ▁( mod ulo ▁that ▁the ▁center ▁equals ▁the ▁unit ). ▁ ▁On ▁manif olds ▁On ▁any ▁sym ple ctic ▁manifold , ▁one ▁can , ▁at ▁least ▁locally , ▁choose ▁coordinates ▁so ▁as ▁to ▁make ▁the ▁sym ple ctic ▁structure ▁constant , ▁by ▁Dar b oux ' s ▁theorem ; ▁and , ▁using ▁the ▁associated ▁Po isson ▁b ive ctor , ▁one ▁may ▁consider ▁the ▁above ▁formula . ▁ ▁For ▁it ▁to ▁work ▁glob ally , ▁as ▁a ▁function ▁on ▁the ▁whole ▁manifold ▁( and ▁not ▁just ▁a ▁local ▁formula ), ▁one ▁must ▁equip ▁the ▁sym ple ctic ▁manifold ▁with ▁a ▁t ors ion - free ▁sym ple ctic ▁connection . ▁This ▁makes ▁it ▁a ▁Fed os ov ▁manifold . ▁ ▁More ▁general ▁results ▁for ▁arbitrary ▁Po isson ▁manif olds ▁( where ▁the ▁Dar b oux ▁theorem ▁does ▁not ▁apply ) ▁are ▁given ▁by ▁the ▁Kont se v ich ▁quant ization ▁formula . ▁ ▁Ex amples ▁A ▁simple ▁explicit ▁example ▁of ▁the ▁construction ▁and ▁utility ▁of ▁the ▁ ★ - product ▁( for ▁the ▁simplest ▁case ▁of ▁a ▁two - dimensional ▁e uclidean ▁phase ▁space ) ▁is ▁given ▁in ▁the ▁article ▁on ▁the ▁W igner – W