In [1]} Borodin and Okounkov have proved that, roughly speaking, Toeplitz determinants are Fredholm determinants of a kernel that has an explicit double contour integral form. In this section we do the same for (two of) the Toeplitz+Hankel determinants introduced in Section REF . The reader should compare this with the Fredholm formulae given for these determinants in [2]}.
