Org-mode version 6.30c at home, even with the snapshot. I'll probably
update and follow your advice, thank you.
On 9/18/12, Jorge Timón <jtimo...@gmail.com> wrote:
> I still get \texttt{<<<} \ldots{} \texttt{>>>}
>
> I have Org-mode version 6.33x at work. I'll check later at home, where
> I have both emacs23 and emacs24 (snapshot).
>
> On 9/17/12, Nick Dokos <nicholas.do...@hp.com> wrote:
>> Jorge Timón <jtimo...@gmail.com> wrote:
>>
>>> I wouldn't care about the spaces and I would prefer not to use latex.
>>> The problem is that that produces:
>>>
>>> \texttt{<<<} \ldots{} \texttt{>>>}
>>>
>>
>> Did you try it with the tildes instead of the equal signs?
>> Here, both old and new exporters produce
>>
>> aaa \verb~<<<~ \ldots{} \verb~>>>~ aa a a
>>
>> at least with the version I'm running (Org-mode version 7.9.1
>> (release_7.9.1-214-gf025d1))
>>
>> Nick
>>
>>> and then latex joins the first << and the first >> together, which is
>>> really ugly.
>>>
>>> My document is already LaTeX specific, but if I'm able replace more
>>> latex with org mode, I should consider a later edition of the tex
>>> produced to keep it backend-independent. Not critical for this
>>> document, but it is always cool to be able to export to different
>>> formats.
>>>
>>> Thank you for the suggestion, anyway.
>>>
>>> On 9/17/12, Nick Dokos <nicholas.do...@hp.com> wrote:
>>> > Jorge Timón <jtimo...@gmail.com> wrote:
>>> >
>>> >> The only way I know to do what I want is \verb=<<<=...\verb=>>>=, in
>>> >> case someone has a similar problem.
>>> >>
>>> >
>>> > If you don't mind the extra space around the dots, you can say
>>> >
>>> > aaa ~<<<~ ... ~>>>~ aa a a
>>> >
>>> > the advantage being that it is backend-independent, so it will export
>>> > correctly to HTML and presumably all the other backends --- at least
>>> > with the new exporter: I didn't try the old one.
>>> >
>>> > There are ways to deal with the spaces as well (the one before the
>>> > dots
>>> > is no problem: it's the one after that causes a problem in this case),
>>> > but imo they are not worth the bother unless you really, really need
>>> > that
>>> > exact behavior. I'd rather live with the spaces (or edit the resulting
>>> > latex
>>> > file, but that has disadvantages of its own).
>>> >
>>> > Nick
>>> >
>>> >
>>> >
>>> >
>>>
>>>
>>> --
>>> Jorge Timón
>>>
>>
>
>
> --
> Jorge Timón
>
--
Jorge Timón
