Re: [Jed-users-l] [PATCH] TeX mode: Replace three dots by \ldots instead of {\ldots}

["John E. Davis" <davis@xxxxxxxxxxxxx>]

Carlos R. Mafra <crmafra2@xxxxxxxxx> wrote:
> diff --git a/lib/texcom.sl b/lib/texcom.sl
> index 4a75906..5f0151b 100644
> --- a/lib/texcom.sl
>+++ b/lib/texcom.sl
> @@ -236,7 +236,7 @@ define tex_ldots ()
>  	  {
>  	     go_left (2);
>  	     deln (2);
> -	     insert ("{\\ldots} ");
>+	     insert ("\\ldots ");
>  	     return;
>  	  }
>       }

How do you feel about using "\\ldots{}" instead?  Note that I
purposely omitted the trailing space.

I like your idea of using \cdots if proceeded by a binary operator.

Thanks,
--John
_______________________________________________
Jed-users-l mailing list
Jed-users-l@xxxxxxxx
http://mailman.jtan.com/mailman/listinfo/jed-users-l