Please remove http://www.proofgeneral.org/ from x-symbol.texi