Weyl_notation loading ...