coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode tokens?

From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Unicode tokens?
Date: Thu, 9 Mar 2017 20:38:06 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f AT gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f52.google.com
Ironport-phdr: 9a23:Pon1khcPnYRMNH19ROUQ6sLqlGMj4u6mDksu8pMizoh2WeGdxcSyZh7h7PlgxGXEQZ/co6odzbGH7ua8BydZu8zJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBW7oR/eu8QXjoduN7g9xgXUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+vugJxw4DUbo+WOvRxcKzSctEGSmRORctRSy9MD5mgY4cTAecMP+BVpJT9qVsUqhu+ABGhCuT1xT9UmHD237Ax3eEmEQHd3QwgHM8FvXPUodj3NaofXvy6wLXWwTjHdPxb2DTw5YvUfRw8vf6AQa9/fdTexEY1CQ/KkFGdpI75MDyI1OkAsmeW7+R7WOKgjm4osQBxojy1ysgwjYnJg5sYx1bZ/it3x4Y1IMe3SE99YdO8H5tQtj2aN4trQsw5WW1npCE6yrgetZ60eigK1Y4rxxnFa/yIdYWD/xHtVP6JLDp6i39pYq+ziwiy/ES6yeDwSNO43VZUoiZdjNXAq34A2wbc58SaUPdw/0ms1SyS2w3d7OxPPFo6mrDBK5E7x749jpoTvlrHHi/xgEj2ibWZdkQg+uSx5eXnZ6nqqoaSN4J0lA3yKKsumsu4AeQ3NggBQXKX9vi71L3m5UH5QbNKgeMqkqTBsp3XKt4XqrOnDwJVyIou6AizAy2m3dgGhXUHKUhKeBODj4jnIVHOJ/X4AO+/jlmukTpmyOzJMqH/DpjJNXfOkbTscLVh5EJB1AU/0c1Q64xbB74bPv78REv8ud7EARAkMQG5wunqCNtm24MRXGKAGK6ZMKfIvVCU4eIvJvGAZJUJtzblN/gl+/nugGclll8aZKmlxIcYaHSlHvt9OEiZenrtgtIZEWgQpAY+TerqiEeDUTFJfXqyUbg8tXkHD9etCp6GTYSwipSA2j26F9tYfDNoEFeJRFLha4iGE9QLcyORaps8zWJYXuD7GoV/hUGl7QSix+A7J7DZq3ITuc29iNZd6OjalBV0/jtxWZfOm1qRRn15yztbDwQ927py9BRw

On 03/09/2017 05:13 PM, Clément Pit-Claudel wrote:
> On 2017-03-09 10:24, Matej Kosik wrote:
>> 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.
>
> That isn't surprising; see the bug-gnu-emacs thread for details (long story
> short: Tex Live ships copies of Latin Modern and other fonts that specify
> incorrect metrics; XeTeX rendering isn't affected, because it doesn't use
> these metrics).

Is there a bugreport concerning wrong metrics (provided by texive but not
used by texlive, as you say)?

Re: [Coq-Club] Unicode tokens?, (continued)