Although the Petersen graph has been known since 1898, its definition as an odd graph dates to the work of , who also studied the odd graph O4 [REF].
The notation On for these graphs was introduced by Norman Biggs in 1972 [REF].