bug#33688: UTF symbols in 25.2.2 under Ubuntu

[Eli Zaretskii]

> 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.