From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Pieter van Oostrum Newsgroups: gmane.emacs.help Subject: Re: How to save a file with embedded unicode maths symbols Date: Mon, 09 Mar 2020 17:27:21 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="70354"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.90 (darwin) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Mon Mar 09 17:27:48 2020 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jBLFr-000IAF-42 for geh-help-gnu-emacs@m.gmane-mx.org; Mon, 09 Mar 2020 17:27:47 +0100 Original-Received: from localhost ([::1]:46598 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jBLFq-0001qJ-6d for geh-help-gnu-emacs@m.gmane-mx.org; Mon, 09 Mar 2020 12:27:46 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:49342) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jBLFX-0001qC-9a for help-gnu-emacs@gnu.org; Mon, 09 Mar 2020 12:27:28 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jBLFW-0001m0-2j for help-gnu-emacs@gnu.org; Mon, 09 Mar 2020 12:27:27 -0400 Original-Received: from [145.132.212.31] (port=56846 helo=cochabamba.vanoostrum.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1jBLFV-0001i6-0t for help-gnu-emacs@gnu.org; Mon, 09 Mar 2020 12:27:26 -0400 Original-Received: from cochabamba.vanoostrum.org (localhost [IPv6:::1]) by cochabamba.vanoostrum.org (Postfix) with ESMTP id 6E383AAADE45 for ; Mon, 9 Mar 2020 17:27:21 +0100 (CET) In-Reply-To: (Angus Comber's message of "Mon, 9 Mar 2020 08:16:56 -0700 (PDT)") X-detected-operating-system: by eggs.gnu.org: Mac OS X [generic] [fuzzy] X-Received-From: 145.132.212.31 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:122547 Archived-At: Angus Comber writes: > On Monday, March 9, 2020 at 1:19:16 PM UTC, Pieter van Oostrum wrote: >> Angus Comber <***@**.c*> writes: >>=20 >> > If I go to this page: https://stackify.com/solid-design-liskov-substit= ution-principle/ >> > >> > There is a definition of the principle Let =CE=A6(x) ... and I can pas= te that >> > into emacs on Windows and I see the greek symbol displayed just fine. >> > >> > But When I go to save the file it prompts for a coding system (1st ent= ry >> > in list being chinese-iso-8bit). What coding system would I choose to = be >> > able to save the symbol to disk. My operating system is 64 bit Windows >> > 7. >>=20 >> You can save in any encoding that is able to encode all the characters >> in the file. But generally the best (most useful, universal) encoding >> is utf-8. >>=20 >> However it depends on what you want to do afterwards with the file. >> The programs that you use to process the file must be able to >> understand that encoding. Nowadays most software understands utf-8. >> --=20 >> Pieter van Oostrum >> www: http://pieter. >> PGP key: [8DAE142BE17999C4] > > If I save as filename LSP.txt and select utf-8 it saves without > complaining but when I open the file again I see: > > Let =C3=8E=C2=A6(x) be a property provable about objects x of type T. The= n =C3=8E=C2=A6(y) > should be true for objects y of type S where S is a subtype of T. > > ie the phi has transformed to =C3=8E=C2=A6. > Did you open it in Emacs? What you see is the utf-8 encoding of =CE=A6 interpreted on reading as lati= n-1 (iso-8859-1) or a similar encoding, like Windows-1252. Is your Emacs co= nfigured to prefer one of these encodings? --=20 Pieter van Oostrum www: http://pieter.vanoostrum.org/ PGP key: [8DAE142BE17999C4]