TeX source:
I_3=\;\rbrack6;\infty\lbrack