Did John F Nash Jr have a wife?

John Forbes Nash Jr. (American mathematician) was the subject of the film "A Beautiful Mind" in 2001. Nash was married to Alicia Lopez-Harrison in February of 1957. The pair divorced in 1963, then remarried in 2001.