Re: ProofGeneral, X-Symbol and display-tables