Redirecting to Conway polyhedron notation