On Tue, Oct 04, 2005 at 03:48:03PM -0700, [EMAIL PROTECTED] wrote:
> TeXmacs defines \udots in exported latex by:
>
> \newcommand{\udots}{{\mbox{\rotatebox[origin=c]{90}{$\ddots$}}}}
>
> It seems unnecessary to do this. For example xdvi complains
> that rotation is not supported, and the rotated dots are not
> displayed correctly.
>
> Why not just imitate the plain tex definition of ddots:
>
> \newcommand{\udots}{\mathinner{\mskip1mu\raise1pt\vbox{\kern7pt\hbox{.}}
> \mskip2mu\raise4pt\hbox{.}\mskip2mu\raise7pt\hbox{.}\mskip1mu}}
>
> This works perfectly well and saves loading graphicx.
Done.
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
