Stuart Rackham <srackham@...> writes:

> 
> Hi Bela
> 
> On 29/05/10 03:27, Bela Hausmann wrote:
> > Hey Stuart,
> >
> > what would you think about adding two extra arrows to the standard
replacement
> > list:
> >
> > <->         ↔       U+2194  Left right arrow                        &#8596;
> > <=>         ⇔       U+21D4          Left right double arrow &#8660;
> >
> > Greetings,
> > Bela
> 
> This is something that's not used a lot and is easy for the user to add and it
> won't render their AsciiDoc source unusable by others.
> 
> For occasional use you can just insert the Unicode character directly e.g.
&#8596;
> 
> Cheers, Stuart
> 

Hi folks,

This is something we could use as well. The problem with manually inserting
&#8596; is that it makes the text harder to read. Compare

Hindi<->English

with

Hindi&#8596;English

Also, it seems inconsistent to have four other kinds of arrows (left/right,
single/double) and not complete the set.

Kivi

-- 
You received this message because you are subscribed to the Google Groups 
"asciidoc" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/asciidoc.
For more options, visit https://groups.google.com/d/optout.

Reply via email to