Index: /trunk/doc/pslib/psLibADD.tex
===================================================================
--- /trunk/doc/pslib/psLibADD.tex	(revision 1668)
+++ /trunk/doc/pslib/psLibADD.tex	(revision 1669)
@@ -1,3 +1,3 @@
-%%% $Id: psLibADD.tex,v 1.33 2004-09-01 21:50:40 price Exp $
+%%% $Id: psLibADD.tex,v 1.34 2004-09-01 22:22:57 price Exp $
 \documentclass[panstarrs]{panstarrs}
 
@@ -716,10 +716,10 @@
 insertion of leap second whenever UTC-UT1 $\ge$ 0.9s.  By definition
 UTC-TAI is an integer number of seconds.  UTC went into effect on
-"1972-01-01T00:00:00" and is defined as being UTC-TAI = 10s on that
-date.  For dates prior to 1972-01-01 a fixed offset of +10s relative
+"1972-01-01T00:00:00" and is defined as being TAI-UTC = 10s on that
+date.  For dates prior to 1972-01-01 a fixed offset of 10s relative
 to TAI will be assumed.
 
 \begin{equation}
-UTC = TAI + 10s + leapseconds
+UTC = TAI - 10s - leapseconds
 \end{equation}
 
@@ -740,10 +740,10 @@
 system of time defined by the Bureau International des Poids et
 Mesures (BIPM) with SI length seconds as measured at sea level.  To
-convert from UTC to TAI subtract the base delta of $10s$ and all of
+convert from UTC to TAI add the base delta of $10s$ and all of
 the accumulated leapsecons since 1972-01-01 up until the UTC date
 being converted.
 
 \begin{equation}
-{\rm TAI} = {\rm UTC} - 10{\rm s} - {\rm leapseconds}
+{\rm TAI} = {\rm UTC} + 10{\rm s} + {\rm leapseconds}
 \end{equation}