TeX source:
G_{k}\cup \{E_{k+1}\}