Boy's surface, an immersion of the real projective plane in three-dimensional Euclidean space