[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33688: UTF symbols in 25.2.2 under Ubuntu
From: |
Eli Zaretskii |
Subject: |
bug#33688: UTF symbols in 25.2.2 under Ubuntu |
Date: |
Sun, 09 Dec 2018 20:05:49 +0200 |
> From: Sergei Meshveliani <mechvel@botik.ru>
> Date: Sun, 09 Dec 2018 19:19:11 +0300
>
> This is on GNU Emacs 25.2.2 installed on Ubuntu Linux 18.04 LTS.
> It draws wrongly some UTF symbols.
>
> I see this when writing programs in Agda.
> Agda is a programming language that uses some UTF symbols in the source
> code. It has a certain Agda input method for UTF symbols.
> For example, in
> A\rB (1)
>
> \r is an UTF symbol \rightarrow in Agda programs.
> (1) needs to be drawn somewht similar to
> A->B
>
> But emacs draws the part `>' of the arrow inside B, so that the string
> looks like
> A-B
>
> , and with with a certain garbage inside B.
If you go to that character between A and B, and type "C-u C-x =",
what does Emacs display in the *Help* buffer? Please post the entire
contents of the *Help* buffer you get.