When the play Oedipus rex begins does marry jocasta?

In the beginning of Oedipus rex Oedipus is already married to Jocasta and has four children with her; Antigone, Eteocles, Ismene, and Polyneices.