[Agda] UTF in Ubuntu

[Nils Anders Danielsson]

On 09/12/2018 17.42, mechvel at scico.botik.ru wrote:
> I use emacs 25.2 for Agda under Ubuntu 18.04.
> And it draws the arrow  \-->  (the arrow which is in _Preserves_->_)
> in a bad way.
> Is this a matter of  emacs  or may be,  of graphic programs  used in Ubuntu ?

If you don't like the appearance of the arrow, then you can perhaps
switch to a different font (M-x menu-set-font).

-- 
/NAD