Orbifold_notation loading ...