GNU logs - #33688, boring messages


Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#33688: UTF symbols in 25.2.2 under Ubuntu
Resent-From: Sergei Meshveliani <mechvel@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 09 Dec 2018 17:49:02 +0000
Resent-Message-ID: <handler.33688.B.154437770423380 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 33688
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 33688 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-gnu-emacs@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.154437770423380
          (code B ref -1); Sun, 09 Dec 2018 17:49:02 +0000
Received: (at submit) by debbugs.gnu.org; 9 Dec 2018 17:48:24 +0000
Received: from localhost ([127.0.0.1]:40209 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gW3Bn-000651-1x
	for submit <at> debbugs.gnu.org; Sun, 09 Dec 2018 12:48:24 -0500
Received: from eggs.gnu.org ([208.118.235.92]:40913)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mechvel@HIDDEN>) id 1gW1nt-0003ia-GP
 for submit <at> debbugs.gnu.org; Sun, 09 Dec 2018 11:19:38 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <mechvel@HIDDEN>) id 1gW1nm-000323-QG
 for submit <at> debbugs.gnu.org; Sun, 09 Dec 2018 11:19:32 -0500
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled
 version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:42947)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <mechvel@HIDDEN>) id 1gW1nm-00031e-7M
 for submit <at> debbugs.gnu.org; Sun, 09 Dec 2018 11:19:30 -0500
Received: from eggs.gnu.org ([2001:4830:134:3::10]:50522)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <mechvel@HIDDEN>) id 1gW1nk-0007mP-Ss
 for bug-gnu-emacs@HIDDEN; Sun, 09 Dec 2018 11:19:30 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <mechvel@HIDDEN>) id 1gW1ng-0002vp-AN
 for bug-gnu-emacs@HIDDEN; Sun, 09 Dec 2018 11:19:28 -0500
Received: from mail2.botik.ru ([95.129.139.34]:47608)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <mechvel@HIDDEN>) id 1gW1nf-0002fO-Tx
 for bug-gnu-emacs@HIDDEN; Sun, 09 Dec 2018 11:19:24 -0500
Received: from mechvel.pereslavl.ru ([192.168.58.131]:55797 helo=[192.168.1.2])
 by mail.botik.ru with esmtp (Exim 4.69)
 (envelope-from <mechvel@HIDDEN>) id 1gW1nT-0007jN-Vo
 for bug-gnu-emacs@HIDDEN; Sun, 09 Dec 2018 19:19:12 +0300
From: Sergei Meshveliani <mechvel@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Date: Sun, 09 Dec 2018 19:19:11 +0300
Message-ID: <1544372351.4050.7.camel@HIDDEN>
Mime-Version: 1.0
X-Mailer: Evolution 2.30.3 
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x [fuzzy]
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -4.1 (----)
X-Mailman-Approved-At: Sun, 09 Dec 2018 12:48:21 -0500
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -5.1 (-----)

From: mechvel <mechvel@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Subject: 25.2; UTF symbols

Dear Emacs team,

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. 

Another example: there is a particular arrow which is input by the
Agda input method as
                       \-->

It is intended to be as  \r  but a small bit different.
Emacs under Debian Linux draws it so that I cannot distinguish it from
drawing \r.  So that it draws
                               _Preserves_\r-->_
as close to                    _Preserves_->_
, which is mainly all right.

But  GNU Emacs 25.2.2 under Ubuntu 18.04  draws it as

                           _Preserves_-->
                                        _

, where the arrow is long, and its `>' part reaches even further than
the last underscore.


Comment about how UTF gets to Agda programs via emacs
=====================================================

To install the Agda input method one needs to put into  .emacs
a Lisp code somewhat of this kind

--------------------------------------------------------------------
(load-file (let ((coding-system-for-read 'utf-8))
                   (shell-command-to-string "agda-mode locate")))

(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(agda2-abort-highlighting (quote interactive))
 '(agda2-program-args
   (quote
    ("-i" "." "-i" "/home/mechvel/agda/stLib/dec4-2018/src" "-i"
"/home/mechvel\
/agda/UNPrelude/src" "-i" "/home/mechvel/poly/0.1" "+RTS" "-K200m"
"-M15G" "-RT\
S"))))
(custom-set-faces
 ;; custom-set-faces was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 )
-------------------------------------------------------------------


Some part of it get there by the  emacs  commands

  load-library agda2-mode
  customize-group agda2
  ...

  > agda-mode compile


Regards,

------
Sergei



======================================================================
This text has been generated automatically by emacs.
Probably it describes the precise configuration:
 

In GNU Emacs 25.2.2 (x86_64-pc-linux-gnu, GTK+ Version 3.22.21)
 of 2017-09-22, modified by Debian built on lgw01-amd64-050
System Description:     Ubuntu 18.04.1 LTS

Configured using:
 'configure --build x86_64-linux-gnu --prefix=/usr
 --sharedstatedir=/var/lib --libexecdir=/usr/lib
 --localstatedir=/var/lib --infodir=/usr/share/info
 --mandir=/usr/share/man --with-pop=yes

--enable-locallisppath=/etc/emacs25:/etc/emacs:/usr/local/share/emacs/25.2/sit\
e-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/25.2/site-lisp:/usr/sh\
are/emacs/site-lisp
 --with-sound=alsa --without-gconf --build x86_64-linux-gnu
 --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/lib
 --localstatedir=/var/lib --infodir=/usr/share/info
 --mandir=/usr/share/man --with-pop=yes

--enable-locallisppath=/etc/emacs25:/etc/emacs:/usr/local/share/emacs/25.2/sit\
e-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/25.2/site-lisp:/usr/sh\
are/emacs/site-lisp
 --with-sound=alsa --without-gconf --with-x=yes --with-x-toolkit=gtk3
 --with-toolkit-scroll-bars 'CFLAGS=-g -O2
 -fdebug-prefix-map=/build/emacs25-jYekUr/emacs25-25.2+1=.
-fstack-protector-st\
rong -Wformat -Werror=format-security -Wall' 'CPPFLAGS=-Wdate-time
 -D_FORTIFY_SOURCE=2' 'LDFLAGS=-Wl,-Bsymbolic-functions -Wl,-z,relro''

Configured features:
XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GSETTINGS NOTIFY
ACL LIBSELINUX GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB
TOOLKIT_SCROLL_BARS GTK3 X11

Important settings:
  value of $LANG: ru_RU.UTF-8
  value of $XMODIFIERS: @im=ibus
  locale-coding-system: utf-8-unix

Major mode: Fundamental

Minor modes in effect:
  tooltip-mode: t
  global-eldoc-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  tool-bar-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  buffer-read-only: t
  line-number-mode: t
  transient-mark-mode: t

Recent messages:
Loading 00debian-vars...done
Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)...
Loading debian-ispell...
Loading /var/cache/dictionaries-common/emacsen-ispell-default.el
(source)...don\
e
Loading debian-ispell...done
Loading /var/cache/dictionaries-common/emacsen-ispell-dicts.el
(source)...done
Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)...done
Loading /etc/emacs/site-start.d/50tcsh.el (source)...done
Loading /home/mechvel/.cabal/share/x86_64-linux-ghc-8.0.2/Agda-2.6.0/emacs-mode\
/agda2.el (source)...done
For information about GNU Emacs and the GNU system, type C-h C-a.

Load-path shadows:
/usr/share/emacs/25.2/site-lisp/debian-startup
hides /usr/share/emacs/site-lisp\
/debian-startup

Features:
(shadow sort mail-extr emacsbug message dired format-spec rfc822 mml
mml-sec password-cache epg epg-config gnus-util mm-decode mm-bodies
mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail
rfc2047 rfc2045 ietf-drums mm-util help-fns help-mode easymenu
cl-loaddefs pcase cl-lib mail-prsvr mail-utils term/xterm xterm
time-date agda2 mule-util cyril-util tooltip eldoc electric uniquify
ediff-hook vc-hooks lisp-float-type mwheel x-win term/common-win x-dnd
tool-bar dnd fontset image regexp-opt fringe tabulated-list newcomment
elisp-mode lisp-mode prog-mode register page menu-bar rfn-eshadow timer
select scroll-bar mouse jit-lock font-lock syntax facemenu font-core
frame cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan
thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian
slovak czech european ethiopic indian cyrillic chinese charscript
case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer
cl-preloaded nadvice loaddefs button faces cus-face macroexp files
text-properties overlay sha1 md5 base64 format env code-pages mule
custom widget hashtable-print-readable backquote dbusbind inotify
dynamic-setting system-font-setting font-render-setting move-toolbar gtk
x-toolkit x multi-tty make-network-process emacs)

Memory information:
((conses 16 91504 4904)
 (symbols 48 19952 0)
 (miscs 40 79 97)
 (strings 32 14896 4789)
 (string-bytes 1 422389)
 (vectors 16 9971)
 (vector-slots 8 389091 16959)
 (floats 8 166 371)
 (intervals 56 255 13)
 (buffers 976 19))







Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Sergei Meshveliani <mechvel@HIDDEN>
Subject: bug#33688: Acknowledgement (UTF symbols in 25.2.2 under Ubuntu)
Message-ID: <handler.33688.B.154437770423380.ack <at> debbugs.gnu.org>
References: <1544372351.4050.7.camel@HIDDEN>
X-Gnu-PR-Message: ack 33688
X-Gnu-PR-Package: emacs
Reply-To: 33688 <at> debbugs.gnu.org
Date: Sun, 09 Dec 2018 17:49:03 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 33688 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
33688: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D33688
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems


Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#33688: UTF symbols in 25.2.2 under Ubuntu
Resent-From: Eli Zaretskii <eliz@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 09 Dec 2018 18:07:02 +0000
Resent-Message-ID: <handler.33688.B33688.154437877725209 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 33688
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Sergei Meshveliani <mechvel@HIDDEN>
Cc: 33688 <at> debbugs.gnu.org
Received: via spool by 33688-submit <at> debbugs.gnu.org id=B33688.154437877725209
          (code B ref 33688); Sun, 09 Dec 2018 18:07:02 +0000
Received: (at 33688) by debbugs.gnu.org; 9 Dec 2018 18:06:17 +0000
Received: from localhost ([127.0.0.1]:40220 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gW3T6-0006YW-Or
	for submit <at> debbugs.gnu.org; Sun, 09 Dec 2018 13:06:16 -0500
Received: from eggs.gnu.org ([208.118.235.92]:33955)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1gW3T5-0006YK-Kx
 for 33688 <at> debbugs.gnu.org; Sun, 09 Dec 2018 13:06:15 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <eliz@HIDDEN>) id 1gW3Sw-00044A-Sj
 for 33688 <at> debbugs.gnu.org; Sun, 09 Dec 2018 13:06:10 -0500
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_20 autolearn=disabled
 version=3.3.2
Received: from fencepost.gnu.org ([2001:4830:134:3::e]:44694)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@HIDDEN>)
 id 1gW3Su-0003zk-RD; Sun, 09 Dec 2018 13:06:05 -0500
Received: from [176.228.60.248] (port=1823 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <eliz@HIDDEN>)
 id 1gW3Su-0003Rt-4h; Sun, 09 Dec 2018 13:06:04 -0500
Date: Sun, 09 Dec 2018 20:05:49 +0200
Message-Id: <83o99u379e.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
In-reply-to: <1544372351.4050.7.camel@HIDDEN> (message from
 Sergei Meshveliani on Sun, 09 Dec 2018 19:19:11 +0300)
References: <1544372351.4050.7.camel@HIDDEN>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-Spam-Score: -5.0 (-----)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -6.0 (------)

> From: Sergei Meshveliani <mechvel@HIDDEN>
> 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.




Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#33688: UTF symbols in 25.2.2 under Ubuntu
Resent-From: Sergei Meshveliani <mechvel@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 09 Dec 2018 22:05:01 +0000
Resent-Message-ID: <handler.33688.B33688.154439308326678 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 33688
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Eli Zaretskii <eliz@HIDDEN>
Cc: 33688 <at> debbugs.gnu.org
Received: via spool by 33688-submit <at> debbugs.gnu.org id=B33688.154439308326678
          (code B ref 33688); Sun, 09 Dec 2018 22:05:01 +0000
Received: (at 33688) by debbugs.gnu.org; 9 Dec 2018 22:04:43 +0000
Received: from localhost ([127.0.0.1]:40328 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gW7Bq-0006wE-PW
	for submit <at> debbugs.gnu.org; Sun, 09 Dec 2018 17:04:43 -0500
Received: from mail2.botik.ru ([95.129.139.34]:54041)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mechvel@HIDDEN>) id 1gW73u-0006gz-Hx
 for 33688 <at> debbugs.gnu.org; Sun, 09 Dec 2018 16:56:31 -0500
Received: from mechvel.pereslavl.ru ([192.168.58.131]:48923 helo=[192.168.1.2])
 by mail.botik.ru with esmtp (Exim 4.69)
 (envelope-from <mechvel@HIDDEN>)
 id 1gW73s-0001no-Hl; Mon, 10 Dec 2018 00:56:28 +0300
From: Sergei Meshveliani <mechvel@HIDDEN>
In-Reply-To: <83o99u379e.fsf@HIDDEN>
References: <1544372351.4050.7.camel@HIDDEN>
 <83o99u379e.fsf@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Date: Mon, 10 Dec 2018 00:56:29 +0300
Message-ID: <1544392589.2348.3.camel@HIDDEN>
Mime-Version: 1.0
X-Mailer: Evolution 2.30.3 
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-Mailman-Approved-At: Sun, 09 Dec 2018 17:04:42 -0500
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

On Sun, 2018-12-09 at 20:05 +0200, Eli Zaretskii wrote:
> > From: Sergei Meshveliani <mechvel@HIDDEN>
> > 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.
> 


I print below what is shown in Debian + GNU Emacs 23.2.1
and
                            in Ubuntu 18.04 + GNU Emacs 25.2. 



**********************************************************************
In  Debian,  GNU Emacs 23.2.1   everything is drawn correct.

\r    Example:  A\rB   to be drawn close to   A->B
The codes are
        character: → (8594, #o20622, #x2192)
preferred charset: unicode (Unicode (ISO10646))
       code point: 0x2192
           syntax: w    which means: word
       category: .:Base, c:Chinese, h:Korean, j:Japanese
       to input: type
       "\r-" or "\rightarrow" or "\r" or "\longrightarrow" or "\to" or
"\->"
                   with Agda
      buffer code: #xE2 #x86 #x92
        file code: #xE2 #x86 #x92 (encoded by coding system utf-8-unix)
          display: terminal code #xE2 #x86 #x92

Character code properties: customize what to show
  name: RIGHTWARDS ARROW
  old-name: RIGHT ARROW
  general-category: Sm (Symbol, Math)

------------------------------------------------------------
\-->    Example:  Preserves_\-->_   to be drowun close to  Preserves_->_
 
The codes are

        character: ⟶ (10230, #o23766, #x27f6)
preferred charset: unicode (Unicode (ISO10646))
       code point: 0x27F6
           syntax: w    which means: word
         category: .:Base
         to input: type "\r--" or "\r" or "\-->" with Agda
      buffer code: #xE2 #x9F #xB6
        file code: #xE2 #x9F #xB6 (encoded by coding system utf-8-unix)
          display: terminal code #xE2 #x9F #xB6

Character code properties: customize what to show
  name: LONG RIGHTWARDS ARROW
  general-category: Sm (Symbol, Math)



************************************************************************
In Ubuntu 18.04,  Gnu Emacs 25.2 :

\r   is wrongly drawn in  A\rB

The codes are 
    character: → (displayed as →) (codepoint 8594, #o20622, #x2192)
    preferred charset: unicode (Unicode (ISO10646))
code point in charset: 0x2192
               script: symbol
               syntax: w        which means: word
    category: .:Base, c:Chinese, h:Korean, j:Japanese
    to input: type "\r-" or "\rightarrow" or "\r" or "\longrightarrow"\
 or "\to" or "\->" with Agda input method
          buffer code: #xE2 #x86 #x92
    file code: #xE2 #x86 #x92 (encoded by coding system utf-8-unix)
              display: terminal code #xE2 #x86 #x92

Character code properties: customize what to show
  name: RIGHTWARDS ARROW
  old-name: RIGHT ARROW
  general-category: Sm (Symbol, Math)
  decomposition: (8594) ('→')

---------------------------------------------------------------
\-->   is very wrongly drawn in  Preserves_\-->_

The codes are
    character: ⟶ (displayed as ⟶) (codepoint 10230, #o23766, #x27f6)
    preferred charset: unicode (Unicode (ISO10646))
code point in charset: 0x27F6
               script: symbol
               syntax: w        which means: word
             category: .:Base
       to input: type "\r--" or "\r" or "\-->" with Agda input method
       buffer code: #xE2 #x9F #xB6
       file code: #xE2 #x9F #xB6 (encoded by coding system utf-8-unix)
              display: terminal code #xE2 #x9F #xB6

Character code properties: customize what to show
  name: LONG RIGHTWARDS ARROW
  general-category: Sm (Symbol, Math)
  decomposition: (10230) ('⟶')






Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#33688: UTF symbols in 25.2.2 under Ubuntu
Resent-From: Eli Zaretskii <eliz@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 10 Dec 2018 06:11:02 +0000
Resent-Message-ID: <handler.33688.B33688.154442222319002 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 33688
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Sergei Meshveliani <mechvel@HIDDEN>
Cc: 33688 <at> debbugs.gnu.org
Received: via spool by 33688-submit <at> debbugs.gnu.org id=B33688.154442222319002
          (code B ref 33688); Mon, 10 Dec 2018 06:11:02 +0000
Received: (at 33688) by debbugs.gnu.org; 10 Dec 2018 06:10:23 +0000
Received: from localhost ([127.0.0.1]:40639 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gWElr-0004wP-3D
	for submit <at> debbugs.gnu.org; Mon, 10 Dec 2018 01:10:23 -0500
Received: from eggs.gnu.org ([208.118.235.92]:38011)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1gWElp-0004wB-MJ
 for 33688 <at> debbugs.gnu.org; Mon, 10 Dec 2018 01:10:22 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <eliz@HIDDEN>) id 1gWEld-0004CF-GV
 for 33688 <at> debbugs.gnu.org; Mon, 10 Dec 2018 01:10:14 -0500
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled
 version=3.3.2
Received: from fencepost.gnu.org ([2001:4830:134:3::e]:57707)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@HIDDEN>)
 id 1gWElV-0004AH-J4; Mon, 10 Dec 2018 01:10:04 -0500
Received: from [176.228.60.248] (port=2637 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <eliz@HIDDEN>)
 id 1gWElU-00014G-8c; Mon, 10 Dec 2018 01:10:00 -0500
Date: Mon, 10 Dec 2018 08:09:47 +0200
Message-Id: <83h8fl3ob8.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
In-reply-to: <1544392589.2348.3.camel@HIDDEN> (message from
 Sergei Meshveliani on Mon, 10 Dec 2018 00:56:29 +0300)
References: <1544372351.4050.7.camel@HIDDEN>
 <83o99u379e.fsf@HIDDEN> <1544392589.2348.3.camel@HIDDEN>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-Spam-Score: -5.0 (-----)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -6.0 (------)

> From: Sergei Meshveliani <mechvel@HIDDEN>
> Cc: 33688 <at> debbugs.gnu.org
> Date: Mon, 10 Dec 2018 00:56:29 +0300
> 
> > > 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.
> > 
> 
> 
> I print below what is shown in Debian + GNU Emacs 23.2.1
> and
>                             in Ubuntu 18.04 + GNU Emacs 25.2. 

This shows that Emacs produces the same codepoints and the same byte
sequences in both cases.  It also shows that you are working on a text
terminal frame (as opposed to a GUI frame), where display of
characters is performed by the console or a terminal emulator.  So I
think either the terminal emulators used on the two systems are
different, or there's some problem with the newer version of the
terminal emulator or fonts used by that emulator.

IOW, this doesn't seem to be an Emacs problem, but a problem with
terminal emulator and/or fonts used by the terminal emulator.

Thanks.




Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#33688: UTF symbols in 25.2.2 under Ubuntu
Resent-From: Sergei Meshveliani <mechvel@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 10 Dec 2018 20:45:02 +0000
Resent-Message-ID: <handler.33688.B33688.154447464428719 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 33688
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Eli Zaretskii <eliz@HIDDEN>
Cc: 33688 <at> debbugs.gnu.org
Received: via spool by 33688-submit <at> debbugs.gnu.org id=B33688.154447464428719
          (code B ref 33688); Mon, 10 Dec 2018 20:45:02 +0000
Received: (at 33688) by debbugs.gnu.org; 10 Dec 2018 20:44:04 +0000
Received: from localhost ([127.0.0.1]:42178 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gWSPL-0007T9-O6
	for submit <at> debbugs.gnu.org; Mon, 10 Dec 2018 15:44:04 -0500
Received: from mail2.botik.ru ([95.129.139.34]:35073)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mechvel@HIDDEN>) id 1gWSPH-0007Sa-Hc
 for 33688 <at> debbugs.gnu.org; Mon, 10 Dec 2018 15:44:00 -0500
Received: from mechvel.pereslavl.ru ([192.168.58.131]:57266 helo=[192.168.1.2])
 by mail.botik.ru with esmtp (Exim 4.69)
 (envelope-from <mechvel@HIDDEN>)
 id 1gWSPC-0008JQ-JX; Mon, 10 Dec 2018 23:43:56 +0300
From: Sergei Meshveliani <mechvel@HIDDEN>
In-Reply-To: <83h8fl3ob8.fsf@HIDDEN>
References: <1544372351.4050.7.camel@HIDDEN>
 <83o99u379e.fsf@HIDDEN> <1544392589.2348.3.camel@HIDDEN>
 <83h8fl3ob8.fsf@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Date: Mon, 10 Dec 2018 23:43:54 +0300
Message-ID: <1544474634.2341.11.camel@HIDDEN>
Mime-Version: 1.0
X-Mailer: Evolution 2.30.3 
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

On Mon, 2018-12-10 at 08:09 +0200, Eli Zaretskii wrote:
> > From: Sergei Meshveliani <mechvel@HIDDEN>
> > Cc: 33688 <at> debbugs.gnu.org
> > Date: Mon, 10 Dec 2018 00:56:29 +0300
> > 
> > > > 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.
> > > 
> > 
> > 
> > I print below what is shown in Debian + GNU Emacs 23.2.1
> > and
> >                             in Ubuntu 18.04 + GNU Emacs 25.2. 
> 
> This shows that Emacs produces the same codepoints and the same byte
> sequences in both cases.  It also shows that you are working on a text
> terminal frame (as opposed to a GUI frame), where display of
> characters is performed by the console or a terminal emulator.  So I
> think either the terminal emulators used on the two systems are
> different, or there's some problem with the newer version of the
> terminal emulator or fonts used by that emulator.
> 
> IOW, this doesn't seem to be an Emacs problem, but a problem with
> terminal emulator and/or fonts used by the terminal emulator.
> 
> Thanks.
> 


I am sorry, I have forgotten of how do I call emacs!
I called it via alias as
                          emacs -nw

I Debian + emacs 23..  it works fine, 
but not in Ubuntu 18.04 + emacs 25.2.

Now, if I call it simply by
                            emacs 

then it is almost all right.
Only
 ∷   (\::)   is shown considerably larger than, for example, capital O,
 and ∣  ( \| )  is separated with half-blank, so that  ∣x  
 is drawn close to  ∣ x

(while  Debian + (emacs-23 -nw)   draws everything all right).

Ubuntu 18.04 + emacs 25.2  shows the following description:

******************************************************************
\::

 character: ∷ (displayed as ∷) (codepoint 8759, #o21067, #x2237)
    preferred charset: unicode (Unicode (ISO10646))
code point in charset: 0x2237
               script: symbol
               syntax: w        which means: word
             category: .:Base, c:Chinese
             to input: type "\::" with Agda input method
          buffer code: #xE2 #x88 #xB7
      file code: #xE2 #x88 #xB7 (encoded by coding system utf-8-unix)
              display: by this font (glyph code)
    xft:-GOOG-Noto Sans Mono CJK
    SC-normal-normal-normal-*-17-*-*-*-*-0-iso10646-1 (#x34B)

Character code properties: customize what to show
  name: PROPORTION
  general-category: Sm (Symbol, Math)
  decomposition: (8759) ('∷')

**********************************************************************
\|

character: ∣ (displayed as ∣) (codepoint 8739, #o21043, #x2223)
    preferred charset: unicode (Unicode (ISO10646))
code point in charset: 0x2223
               script: symbol
               syntax: w        which means: word
             category: .:Base, c:Chinese
    to input: type "\|" or "\shortmid" or "\mid" with Agda input method
    buffer code: #xE2 #x88 #xA3
    file code: #xE2 #x88 #xA3 (encoded by coding system utf-8-unix)
              display: by this font (glyph code)
    xft:-GOOG-Noto Sans Mono CJK
      SC-normal-normal-normal-*-17-*-*-*-*-0-iso10646-1 (#x33D)

Character code properties: customize what to show
  name: DIVIDES
  general-category: Sm (Symbol, Math)
  decomposition: (8739) ('∣')
***********************************************************************


Thanks,

------
Sergei










Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#33688: UTF symbols in 25.2.2 under Ubuntu
Resent-From: Eli Zaretskii <eliz@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 11 Dec 2018 04:53:03 +0000
Resent-Message-ID: <handler.33688.B33688.154450393328026 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 33688
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Sergei Meshveliani <mechvel@HIDDEN>
Cc: 33688 <at> debbugs.gnu.org
Received: via spool by 33688-submit <at> debbugs.gnu.org id=B33688.154450393328026
          (code B ref 33688); Tue, 11 Dec 2018 04:53:03 +0000
Received: (at 33688) by debbugs.gnu.org; 11 Dec 2018 04:52:13 +0000
Received: from localhost ([127.0.0.1]:42607 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gWa1l-0007Hx-8L
	for submit <at> debbugs.gnu.org; Mon, 10 Dec 2018 23:52:13 -0500
Received: from eggs.gnu.org ([208.118.235.92]:48836)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@HIDDEN>) id 1gWa1k-0007Hl-5k
 for 33688 <at> debbugs.gnu.org; Mon, 10 Dec 2018 23:52:12 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <eliz@HIDDEN>) id 1gWa1b-0004th-6k
 for 33688 <at> debbugs.gnu.org; Mon, 10 Dec 2018 23:52:06 -0500
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled
 version=3.3.2
Received: from fencepost.gnu.org ([2001:4830:134:3::e]:54735)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@HIDDEN>)
 id 1gWa1b-0004td-3H; Mon, 10 Dec 2018 23:52:03 -0500
Received: from [176.228.60.248] (port=4170 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <eliz@HIDDEN>)
 id 1gWa1a-0000MU-MR; Mon, 10 Dec 2018 23:52:03 -0500
Date: Tue, 11 Dec 2018 06:51:53 +0200
Message-Id: <83woog1x92.fsf@HIDDEN>
From: Eli Zaretskii <eliz@HIDDEN>
In-reply-to: <1544474634.2341.11.camel@HIDDEN> (message from
 Sergei Meshveliani on Mon, 10 Dec 2018 23:43:54 +0300)
References: <1544372351.4050.7.camel@HIDDEN>
 <83o99u379e.fsf@HIDDEN> <1544392589.2348.3.camel@HIDDEN>
 <83h8fl3ob8.fsf@HIDDEN> <1544474634.2341.11.camel@HIDDEN>
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-Spam-Score: -5.0 (-----)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -6.0 (------)

> From: Sergei Meshveliani <mechvel@HIDDEN>
> Cc: 33688 <at> debbugs.gnu.org
> Date: Mon, 10 Dec 2018 23:43:54 +0300
> 
> > IOW, this doesn't seem to be an Emacs problem, but a problem with
> > terminal emulator and/or fonts used by the terminal emulator.
> > 
> > Thanks.
> > 
> 
> 
> I am sorry, I have forgotten of how do I call emacs!
> I called it via alias as
>                           emacs -nw
> 
> I Debian + emacs 23..  it works fine, 
> but not in Ubuntu 18.04 + emacs 25.2.
> 
> Now, if I call it simply by
>                             emacs 
> 
> then it is almost all right.
> Only
>  ∷   (\::)   is shown considerably larger than, for example, capital O,
>  and ∣  ( \| )  is separated with half-blank, so that  ∣x  
>  is drawn close to  ∣ x
> 
> (while  Debian + (emacs-23 -nw)   draws everything all right).
> 
> Ubuntu 18.04 + emacs 25.2  shows the following description:
> 
> ******************************************************************
> \::
> 
>  character: ∷ (displayed as ∷) (codepoint 8759, #o21067, #x2237)
>     preferred charset: unicode (Unicode (ISO10646))
> code point in charset: 0x2237
>                script: symbol
>                syntax: w        which means: word
>              category: .:Base, c:Chinese
>              to input: type "\::" with Agda input method
>           buffer code: #xE2 #x88 #xB7
>       file code: #xE2 #x88 #xB7 (encoded by coding system utf-8-unix)
>               display: by this font (glyph code)
>     xft:-GOOG-Noto Sans Mono CJK
>     SC-normal-normal-normal-*-17-*-*-*-*-0-iso10646-1 (#x34B)
> 
> Character code properties: customize what to show
>   name: PROPORTION
>   general-category: Sm (Symbol, Math)
>   decomposition: (8759) ('∷')
> 
> **********************************************************************
> \|
> 
> character: ∣ (displayed as ∣) (codepoint 8739, #o21043, #x2223)
>     preferred charset: unicode (Unicode (ISO10646))
> code point in charset: 0x2223
>                script: symbol
>                syntax: w        which means: word
>              category: .:Base, c:Chinese
>     to input: type "\|" or "\shortmid" or "\mid" with Agda input method
>     buffer code: #xE2 #x88 #xA3
>     file code: #xE2 #x88 #xA3 (encoded by coding system utf-8-unix)
>               display: by this font (glyph code)
>     xft:-GOOG-Noto Sans Mono CJK
>       SC-normal-normal-normal-*-17-*-*-*-*-0-iso10646-1 (#x33D)
> 
> Character code properties: customize what to show
>   name: DIVIDES
>   general-category: Sm (Symbol, Math)
>   decomposition: (8739) ('∣')
> ***********************************************************************

My only advice is to try using a different font for these characters,
not Noto Sans Mono CJK.

I don't think there's an Emacs bug here.





Last modified: Tue, 11 Dec 2018 05:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.