From mboxrd@z Thu Jan 1 00:00:00 1970 From: brettg@posteo.net Subject: Company-coq and symbols Date: Fri, 12 Apr 2019 06:57:21 +0200 Message-ID: <1a7ee2947ee4ec24d98c7cee67de91db@posteo.net> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([209.51.188.92]:36887) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hEoFj-0008Ha-6m for help-guix@gnu.org; Fri, 12 Apr 2019 00:57:27 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hEoFh-0001bE-Qt for help-guix@gnu.org; Fri, 12 Apr 2019 00:57:26 -0400 Received: from mout01.posteo.de ([185.67.36.65]:40940) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hEoFh-0001Zn-7V for help-guix@gnu.org; Fri, 12 Apr 2019 00:57:25 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 3B3B516005E for ; Fri, 12 Apr 2019 06:57:22 +0200 (CEST) Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 44gQcK4C1Jz6tmB for ; Fri, 12 Apr 2019 06:57:21 +0200 (CEST) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix Hey all, is anybody out there using Proof General with Pierre's company-coq? I am having an issue getting the prettified symbols to register, and none of the math related fonts (tex-bundled mostly?) seem to be encoding into Emacs properly. I'd appreciate some help if anybody has some. Brett Gilio