TeX source:

\overline{\left[F_{i}: S_{i}\right]}