From mboxrd@z Thu Jan  1 00:00:00 1970
From: Rasmus <rasmus@gmx.us>
Subject: Re: render "->" as "&rarr" on html export?
Date: Wed, 25 Mar 2015 22:30:32 +0100
Message-ID: <874mp8229z.fsf@gmx.us>
References: <CAN_Dec-EwEO5SAfryj0Tx9MUO4k6PQe1ZPBUx-gF6v0Fr5dagQ@mail.gmail.com>
	<87egof8x2c.fsf@gmx.us> <86lhim3hl1.fsf@example.com>
	<87pp7y7mzk.fsf@gmx.us> <86sicu7ks8.fsf@example.com>
	<86lhily6oi.fsf@kcals2.maillard.im>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:56741)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <geo-emacs-orgmode@m.gmane.org>) id 1Yast8-0002zl-U5
	for emacs-orgmode@gnu.org; Wed, 25 Mar 2015 17:30:59 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <geo-emacs-orgmode@m.gmane.org>) id 1Yast3-0007o6-VB
	for emacs-orgmode@gnu.org; Wed, 25 Mar 2015 17:30:58 -0400
Received: from plane.gmane.org ([80.91.229.3]:59546)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <geo-emacs-orgmode@m.gmane.org>) id 1Yast3-0007o0-O5
	for emacs-orgmode@gnu.org; Wed, 25 Mar 2015 17:30:53 -0400
Received: from list by plane.gmane.org with local (Exim 4.69)
	(envelope-from <geo-emacs-orgmode@m.gmane.org>) id 1Yast0-0000HB-27
	for emacs-orgmode@gnu.org; Wed, 25 Mar 2015 22:30:50 +0100
Received: from tsn109-201-154-202.dyn.nltelcom.net ([109.201.154.202])
	by main.gmane.org with esmtp (Gmexim 0.1 (Debian))
	id 1AlnuQ-0007hv-00
	for <emacs-orgmode@gnu.org>; Wed, 25 Mar 2015 22:30:50 +0100
Received: from rasmus by tsn109-201-154-202.dyn.nltelcom.net with local
	(Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00
	for <emacs-orgmode@gnu.org>; Wed, 25 Mar 2015 22:30:50 +0100
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: emacs-orgmode@gnu.org

Xavier Maillard <xavier@maillard.im> writes:

> So we need both if we want to display all these characters, right ?

\Rightarrow and friends are supported through org-entities.  This makes
sure that it's translated to the right symbol irrespective of the backend.

prettify-symbols-mode is for showing an "ascii characters" in a pretty
way.  This will do nothing for export.

If you don't mind unicode characters maybe an input method is what you
want.  E.g. with the rfc1345 input method, you can insert '→' with '&->'.

---Rasmus

-- 
And I faced endless streams of vendor-approved Ikea furniture. . .