The Coq mailing list

[Matej Kosik <5764c029b688c1c0d24a2e97cd764f AT gmail.com>]

On 03/08/2017 11:53 PM, Clément Pit-Claudel wrote:
> On 2017-03-08 15:36, Matej Kosik wrote:
>> (I jumped to the conclusion that this is because of some Emacs
>> specific fonts because I've seen this behavior only in Emacs, nowhere
>> else).
> 
> This is due to Emacs respecting the incorrect metrics of certain TeX fonts 
> (other applications typically ignore them);
> see https://github.com/cpitclaudel/company-coq/issues/15 and 
> https://lists.gnu.org/archive/html/bug-gnu-emacs/2015-05/msg00696.html for 
> more details.

I've never seen such a behavior in TeX.

Mario reported troubles with \mathcal{P} glyph (unless I misunderstood the 
message).

TeX itself does not have this problem. See the attachment.

Mario's and TeX's glyphs looks different, so I am not sure what you mean by 
"TeX font".
(My testing instructions were:

    $\mathcal{P}$\\
    $\mathcal{P}$\\
    $\mathcal{P}$\\
    $\mathcal{P}$\\
    $\mathcal{P}$
)

> 
> Emacs 25 includes a workaround for this issue.  In Emacs 24, installing 
> better fonts should work.
> 
> Cheers,
> Clément.
> 
>

Attachment: mathcalP.png
Description: PNG image