[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] A \udots suggestion
From: |
Joris van der Hoeven |
Subject: |
Re: [Texmacs-dev] A \udots suggestion |
Date: |
Wed, 5 Oct 2005 15:57:23 +0200 |
User-agent: |
Mutt/1.5.9i |
On Tue, Oct 04, 2005 at 03:48:03PM -0700, address@hidden 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.