fix \G in formal.tex