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