$G indica que a negação