Merged in changes from CVS trunk.

Patches applied:

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-726
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-727
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-728
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-729
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-730
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-731
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-732
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-733
   Update from CVS: man/calc.texi: Fix some TeX definitions.

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-734
   Merge from gnus--rel--5.10

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-735
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-736
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-737
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-738
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-739
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-740
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-741
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-742
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-743
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-744
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-745
   Update from CVS

 * miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-746
   Update from CVS

 * miles@gnu.org--gnu-2004/gnus--rel--5.10--patch-75
   Merge from emacs--cvs-trunk--0

 * miles@gnu.org--gnu-2004/gnus--rel--5.10--patch-76
   Update from CVS

 * miles@gnu.org--gnu-2004/gnus--rel--5.10--patch-77
   Update from CVS


git-archimport-id: lorentey@elte.hu--2004/emacs--multi-tty--0--patch-277

9 files changed, 744 insertions, 671 deletions

diff --git a/man/ChangeLog b/man/ChangeLog
index 9672a0c2437..3b6507e6b78 100644
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -1,3 +1,57 @@
+2004-12-20  Jay Belanger  <belanger@truman.edu>
+
+        * calc.texi (Types Tutorial): Emphasized that you can't divide by
+        zero.
+
+2004-12-17  Luc Teirlinck  <teirllm@auburn.edu>
+
+        * cc-mode.texi (Text Filling and Line Breaking): Put period after
+        @xref.
+        (Font Locking): Avoid @strong{Note:}.
+
+2004-12-17  Michael Albinus  <michael.albinus@gmx.de>
+
+        Sync with Tramp 2.0.46.
+
+        * tramp.texi (bottom): Add arch-tag.  It was lost, somehow.
+
+2004-12-16  Luc Teirlinck  <teirllm@auburn.edu>
+
+        * url.texi: Correct typos.
+        (Retrieving URLs): @var{nil}->@code{nil}.
+        (HTTP language/coding, mailto): Replace  "GNU Emacs Manual" with
+        the standard "The GNU Emacs Manual" in fifth argument of @xref's.
+        (Dealing with HTTP documents): @inforef->@xref.
+
+2004-12-15  Juri Linkov  <juri@jurta.org>
+
+        * mark.texi (Transient Mark, Mark Ring): M-< and other
+        movement commands don't set mark in Transient Mark mode
+        if mark is active.
+
+2004-12-15  Jay Belanger  <belanger@truman.edu>
+
+        * calc.texi: Consistently capitalized all mode names.
+        (Answers to Exercises): Mention that an answer can be a fraction
+        when in Fraction mode.
+
+2004-12-13  Jay Belanger  <belanger@truman.edu>
+
+        * calc.texi: Fix some TeX definitions.
+
+2004-12-12  Juri Linkov  <juri@jurta.org>
+
+        * misc.texi (FFAP): Add C-x C-r, C-x C-v, C-x C-d,
+        C-x 4 r, C-x 4 d, C-x 5 r, C-x 5 d.
+
+        * dired.texi (Dired Navigation): Add @r{(Dired)} to M-g.
+        (Misc Dired Commands): Add @r{(Dired)} to w.
+
+2004-12-12  Juri Linkov  <juri@jurta.org>
+
+        * mark.texi (Marking Objects): Marking commands also extend the
+        region when mark is active in Transient Mark mode.
+
 2004-12-09  Luc Teirlinck  <teirllm@auburn.edu>
 
         * reftex.texi (Imprint): Remove erroneous @value's.
@@ -133,6 +187,13 @@
         to Alex Ott, Karl Fogel, Stefan Monnier, and David Kastrup for
         suggestions.
 
+2004-12-08  Reiner Steib  <Reiner.Steib@gmx.de>
+
+        * gnus-faq.texi ([5.1]): Added missing bracket.
+
+        * gnus.texi (Filtering Spam Using The Spam ELisp Package): Index
+        `spam-initialize'.
+
 2004-11-22  Reiner Steib  <Reiner.Steib@gmx.de>
 
         * message.texi (Various Message Variables): Mention that all mail
@@ -140,11 +201,6 @@
 
         * gnus.texi (Splitting Mail): Clarify bogus group.
 
-2004-11-16  Reiner Steib  <Reiner.Steib@gmx.de>
-
-        * gnus.texi (Filtering Spam Using The Spam ELisp Package): Index
-        `spam-initialize'.
-
 2004-11-02  Katsumi Yamaoka  <yamaoka@jpl.org>
 
         * emacs-mime.texi (Encoding Customization): Fix
diff --git a/man/calc.texi b/man/calc.texi
index 027ebc7c960..8260ed10350 100644
--- a/man/calc.texi
+++ b/man/calc.texi
@@ -13,28 +13,20 @@
 @c @infoline foo
 @c    `foo' will appear only in non-TeX output
 
-@c In TeX output, @tmath{expr} will typeset expr in  math mode.
-@c In any output, @expr{expr} will typeset an expression;
+@c @expr{expr} will typeset an expression;
 @c $x$ in TeX, @samp{x} otherwise.
 
 @iftex
 @macro texline{stuff}
 \stuff\
 @end macro
-@macro tmath{stuff}
-@tex
-$\stuff\$
-@end tex
-@end macro
 @alias infoline=comment
-@c @alias expr=math
 @tex
-\gdef\expr#1{\tex 
-             \let\t\ttfont 
-             \turnoffactive 
-             $#1$
-             \endgroup}
+\gdef\exprsetup{\tex \let\t\ttfont \turnoffactive}
+\gdef\expr{\exprsetup$\exprfinish}
+\gdef\exprfinish#1{#1$\endgroup}
 @end tex
+@alias mathit=expr
 @macro cpi{}
 @math{@pi{}}
 @end macro
@@ -49,6 +41,7 @@ $\stuff\$
 \stuff\
 @end macro
 @alias expr=samp
+@alias mathit=i
 @macro cpi{}
 @expr{pi}
 @end macro
@@ -470,7 +463,7 @@ Algebraic manipulation features, including symbolic calculus.
 Moving data to and from regular editing buffers.
 
 @item
-``Embedded mode'' for manipulating Calc formulas and data directly
+Embedded mode for manipulating Calc formulas and data directly
 inside any editing buffer.
 
 @item
@@ -624,12 +617,12 @@ then the command to operate on the numbers.
 
 @noindent
 Type @kbd{2 @key{RET} 3 + Q} to compute 
-@texline @tmath{\sqrt{2+3} = 2.2360679775}.
+@texline @math{\sqrt{2+3} = 2.2360679775}.
 @infoline the square root of 2+3, which is 2.2360679775.
 
 @noindent
 Type @kbd{P 2 ^} to compute 
-@texline @tmath{\pi^2 = 9.86960440109}.
+@texline @math{\pi^2 = 9.86960440109}.
 @infoline the value of `pi' squared, 9.86960440109.
 
 @noindent
@@ -648,12 +641,12 @@ use the apostrophe key.
 
 @noindent
 Type @kbd{' sqrt(2+3) @key{RET}} to compute 
-@texline @tmath{\sqrt{2+3}}.
+@texline @math{\sqrt{2+3}}.
 @infoline the square root of 2+3.
 
 @noindent
 Type @kbd{' pi^2 @key{RET}} to enter 
-@texline @tmath{\pi^2}.
+@texline @math{\pi^2}.
 @infoline `pi' squared.  
 To evaluate this symbolic formula as a number, type @kbd{=}.
 
@@ -713,10 +706,10 @@ the lower-right @samp{8} and press @kbd{M-# r}.
 
 @noindent
 Type @kbd{v t} to transpose this 
-@texline @tmath{3\times2}
+@texline @math{3\times2}
 @infoline 3x2 
 matrix into a 
-@texline @tmath{2\times3}
+@texline @math{2\times3}
 @infoline 2x3
 matrix.  Type @w{@kbd{v u}} to unpack the rows into two separate
 vectors.  Now type @w{@kbd{V R + @key{TAB} V R +}} to compute the sums
@@ -773,7 +766,7 @@ To exit from Calc, press @kbd{q} or @kbd{M-# c} again.
 @noindent
 Calc has several user interfaces that are specialized for
 different kinds of tasks.  As well as Calc's standard interface,
-there are Quick Mode, Keypad Mode, and Embedded Mode.
+there are Quick mode, Keypad mode, and Embedded mode.
 
 @menu
 * Starting Calc::
@@ -808,7 +801,7 @@ doesn't matter for @kbd{M-#}) that says which Calc interface you
 want to use.
 
 To get Calc's standard interface, type @kbd{M-# c}.  To get
-Keypad Mode, type @kbd{M-# k}.  Type @kbd{M-# ?} to get a brief
+Keypad mode, type @kbd{M-# k}.  Type @kbd{M-# ?} to get a brief
 list of the available options, and type a second @kbd{?} to get
 a complete list.
 
@@ -821,7 +814,7 @@ function key twice is just like hitting @kbd{M-# M-#}.)
 
 If @kbd{M-#} doesn't work for you, you can always type explicit
 commands like @kbd{M-x calc} (for the standard user interface) or
-@w{@kbd{M-x calc-keypad}} (for Keypad Mode).  First type @kbd{M-x}
+@w{@kbd{M-x calc-keypad}} (for Keypad mode).  First type @kbd{M-x}
 (that's Meta with the letter @kbd{x}), then, at the prompt,
 type the full command (like @kbd{calc-keypad}) and press Return.
 
@@ -867,9 +860,9 @@ you do.
 
 In this case, the trail shows that four numbers (17.3, 3, 2, and 4)
 were first entered into the Calculator, then the 2 and 4 were
-multiplied to get 8, then the 3 and 8 were subtracted to get @i{-5}.
+multiplied to get 8, then the 3 and 8 were subtracted to get @mathit{-5}.
 (The @samp{>} symbol shows that this was the most recent calculation.)
-The net result is the two numbers 17.3 and @i{-5} sitting on the stack.
+The net result is the two numbers 17.3 and @mathit{-5} sitting on the stack.
 
 Most Calculator commands deal explicitly with the stack only, but
 there is a set of commands that allow you to search back through
@@ -924,20 +917,20 @@ way to switch out of Calc momentarily to edit your file; type
 @subsection Quick Mode (Overview)
 
 @noindent
-@dfn{Quick Mode} is a quick way to use Calc when you don't need the
+@dfn{Quick mode} is a quick way to use Calc when you don't need the
 full complexity of the stack and trail.  To use it, type @kbd{M-# q}
 (@code{quick-calc}) in any regular editing buffer.
 
-Quick Mode is very simple:  It prompts you to type any formula in
+Quick mode is very simple:  It prompts you to type any formula in
 standard algebraic notation (like @samp{4 - 2/3}) and then displays
-the result at the bottom of the Emacs screen (@i{3.33333333333}
+the result at the bottom of the Emacs screen (@mathit{3.33333333333}
 in this case).  You are then back in the same editing buffer you
 were in before, ready to continue editing or to type @kbd{M-# q}
 again to do another quick calculation.  The result of the calculation
 will also be in the Emacs ``kill ring'' so that a @kbd{C-y} command
 at this point will yank the result into your editing buffer.
 
-Calc mode settings affect Quick Mode, too, though you will have to
+Calc mode settings affect Quick mode, too, though you will have to
 go into regular Calc (with @kbd{M-# c}) to change the mode settings.
 
 @c [fix-ref Quick Calculator mode]
@@ -947,12 +940,12 @@ go into regular Calc (with @kbd{M-# c}) to change the mode settings.
 @subsection Keypad Mode (Overview)
 
 @noindent
-@dfn{Keypad Mode} is a mouse-based interface to the Calculator.
+@dfn{Keypad mode} is a mouse-based interface to the Calculator.
 It is designed for use with terminals that support a mouse.  If you
-don't have a mouse, you will have to operate keypad mode with your
+don't have a mouse, you will have to operate Keypad mode with your
 arrow keys (which is probably more trouble than it's worth).
 
-Type @kbd{M-# k} to turn Keypad Mode on or off.  Once again you
+Type @kbd{M-# k} to turn Keypad mode on or off.  Once again you
 get two new windows, this time on the righthand side of the screen
 instead of at the bottom.  The upper window is the familiar Calc
 Stack; the lower window is a picture of a typical calculator keypad.
@@ -988,12 +981,12 @@ Stack; the lower window is a picture of a typical calculator keypad.
                                         |-----+-----+-----+-----+-----+
 @end smallexample
 
-Keypad Mode is much easier for beginners to learn, because there
+Keypad mode is much easier for beginners to learn, because there
 is no need to memorize lots of obscure key sequences.  But not all
 commands in regular Calc are available on the Keypad.  You can
 always switch the cursor into the Calc stack window to use
 standard Calc commands if you need.  Serious Calc users, though,
-often find they prefer the standard interface over Keypad Mode.
+often find they prefer the standard interface over Keypad mode.
 
 To operate the Calculator, just click on the ``buttons'' of the
 keypad using your left mouse button.  To enter the two numbers
@@ -1006,13 +999,13 @@ keypad change to show other sets of commands, such as advanced
 math functions, vector operations, and operations on binary
 numbers.
 
-Because Keypad Mode doesn't use the regular keyboard, Calc leaves
+Because Keypad mode doesn't use the regular keyboard, Calc leaves
 the cursor in your original editing buffer.  You can type in
 this buffer in the usual way while also clicking on the Calculator
-keypad.  One advantage of Keypad Mode is that you don't need an
+keypad.  One advantage of Keypad mode is that you don't need an
 explicit command to switch between editing and calculating.
 
-If you press @kbd{M-# b} first, you get a full-screen Keypad Mode
+If you press @kbd{M-# b} first, you get a full-screen Keypad mode
 (@code{full-calc-keypad}) with three windows:  The keypad in the lower
 left, the stack in the lower right, and the trail on top.
 
@@ -1050,7 +1043,7 @@ itself.
 @subsection Embedded Mode (Overview)
 
 @noindent
-@dfn{Embedded Mode} is a way to use Calc directly from inside an
+@dfn{Embedded mode} is a way to use Calc directly from inside an
 editing buffer.  Suppose you have a formula written as part of a
 document like this:
 
@@ -1067,7 +1060,7 @@ is
 @noindent
 and you wish to have Calc compute and format the derivative for
 you and store this derivative in the buffer automatically.  To
-do this with Embedded Mode, first copy the formula down to where
+do this with Embedded mode, first copy the formula down to where
 you want the result to be:
 
 @smallexample
@@ -1106,7 +1099,7 @@ is
 @end smallexample
 
 To make this look nicer, you might want to press @kbd{d =} to center
-the formula, and even @kbd{d B} to use ``big'' display mode.
+the formula, and even @kbd{d B} to use Big display mode.
 
 @smallexample
 @group
@@ -1146,7 +1139,7 @@ righthand label:  Type @kbd{d @} (1) @key{RET}}.
 @end group
 @end smallexample
 
-To leave Embedded Mode, type @kbd{M-# e} again.  The mode line
+To leave Embedded mode, type @kbd{M-# e} again.  The mode line
 and keyboard will revert to the way they were before.  (If you have
 actually been trying this as you read along, you'll want to press
 @kbd{M-# 0} [with the digit zero] now to reset the modes you changed.)
@@ -1161,7 +1154,7 @@ A slope of one-third corresponds to an angle of 1 degrees.
 @end smallexample
 
 Place the cursor on the @samp{1}, then type @kbd{M-# w} to enable
-Embedded Mode on that number.  Now type @kbd{3 /} (to get one-third),
+Embedded mode on that number.  Now type @kbd{3 /} (to get one-third),
 and @kbd{I T} (the Inverse Tangent converts a slope into an angle),
 then @w{@kbd{M-# w}} again to exit Embedded mode.
 
@@ -1228,7 +1221,7 @@ move it out of that window.
 Control whether @kbd{M-# c} and @kbd{M-# k} use the full screen.
 
 @item Q
-Use Quick Mode for a single short calculation.
+Use Quick mode for a single short calculation.
 
 @item K
 Turn Calc Keypad mode on or off.
@@ -1277,7 +1270,7 @@ Yank a value from the Calculator into the current editing buffer.
 @end iftex
 
 @noindent
-Commands for use with Embedded Mode:
+Commands for use with Embedded mode:
 
 @table @kbd
 @item A
@@ -1343,7 +1336,7 @@ With any prefix argument, reset everything but the stack.
 Calc was originally started as a two-week project to occupy a lull
 in the author's schedule.  Basically, a friend asked if I remembered
 the value of 
-@texline @tmath{2^{32}}.
+@texline @math{2^{32}}.
 @infoline @expr{2^32}.  
 I didn't offhand, but I said, ``that's easy, just call up an
 @code{xcalc}.''  @code{Xcalc} duly reported that the answer to our
@@ -1485,9 +1478,9 @@ to skip on to the rest of this manual.
 
 @c [fix-ref Embedded Mode]
 This tutorial describes the standard user interface of Calc only.
-The ``Quick Mode'' and ``Keypad Mode'' interfaces are fairly
+The Quick mode and Keypad mode interfaces are fairly
 self-explanatory.  @xref{Embedded Mode}, for a description of
-the ``Embedded Mode'' interface.
+the Embedded mode interface.
 
 @ifinfo
 The easiest way to read this tutorial on-line is to have two windows on
@@ -1665,7 +1658,7 @@ multiplication.)  Figure it out by hand, then try it with Calc to see
 if you're right.  @xref{RPN Answer 1, 1}. (@bullet{})
 
 (@bullet{}) @strong{Exercise 2.}  Compute 
-@texline @tmath{(2\times4) + (7\times9.4) + {5\over4}}
+@texline @math{(2\times4) + (7\times9.4) + {5\over4}}
 @infoline @expr{2*4 + 7*9.5 + 5/4} 
 using the stack.  @xref{RPN Answer 2, 2}. (@bullet{})
 
@@ -1947,8 +1940,8 @@ entire stack.)
 
 @noindent
 If you are not used to RPN notation, you may prefer to operate the
-Calculator in ``algebraic mode,'' which is closer to the way
-non-RPN calculators work.  In algebraic mode, you enter formulas
+Calculator in Algebraic mode, which is closer to the way
+non-RPN calculators work.  In Algebraic mode, you enter formulas
 in traditional @expr{2+3} notation.
 
 You don't really need any special ``mode'' to enter algebraic formulas.
@@ -2000,7 +1993,7 @@ $$ 2 + { 3 \times 4 \times 5 \over 6 \times 7^8 } - 9 $$
 @end tex
 
 @noindent
-The result of this expression will be the number @i{-6.99999826533}.
+The result of this expression will be the number @mathit{-6.99999826533}.
 
 Calc's order of evaluation is the same as for most computer languages,
 except that @samp{*} binds more strongly than @samp{/}, as the above
@@ -2009,18 +2002,18 @@ can often be omitted:  @samp{2 a} is the same as @samp{2*a}.
 
 Operators at the same level are evaluated from left to right, except
 that @samp{^} is evaluated from right to left.  Thus, @samp{2-3-4} is
-equivalent to @samp{(2-3)-4} or @i{-5}, whereas @samp{2^3^4} is equivalent
+equivalent to @samp{(2-3)-4} or @mathit{-5}, whereas @samp{2^3^4} is equivalent
 to @samp{2^(3^4)} (a very large integer; try it!).
 
-If you tire of typing the apostrophe all the time, there is an
-``algebraic mode'' you can select in which Calc automatically senses
+If you tire of typing the apostrophe all the time, there is
+Algebraic mode, where Calc automatically senses
 when you are about to type an algebraic expression.  To enter this
 mode, press the two letters @w{@kbd{m a}}.  (An @samp{Alg} indicator
 should appear in the Calc window's mode line.)
 
 Press @kbd{m a}, then @kbd{2+3+4} with no apostrophe, then @key{RET}.
 
-In algebraic mode, when you press any key that would normally begin
+In Algebraic mode, when you press any key that would normally begin
 entering a number (such as a digit, a decimal point, or the @kbd{_}
 key), or if you press @kbd{(} or @kbd{[}, Calc automatically begins
 an algebraic entry.
@@ -2035,7 +2028,7 @@ Press the apostrophe, then type @kbd{sqrt(5*2) - 3}.  The result should
 be @expr{0.16227766017}.
 
 Note that if the formula begins with a function name, you need to use
-the apostrophe even if you are in algebraic mode.  If you type @kbd{arcsin}
+the apostrophe even if you are in Algebraic mode.  If you type @kbd{arcsin}
 out of the blue, the @kbd{a r} will be taken as an Algebraic Rewrite
 command, and the @kbd{csin} will be taken as the name of the rewrite
 rule to use!
@@ -2044,7 +2037,7 @@ Some people prefer to enter complex numbers and vectors in algebraic
 form because they find RPN entry with incomplete objects to be too
 distracting, even though they otherwise use Calc as an RPN calculator.
 
-Still in algebraic mode, type:
+Still in Algebraic mode, type:
 
 @smallexample
 @group
@@ -2060,15 +2053,15 @@ Algebraic mode allows us to enter complex numbers without pressing
 an apostrophe first, but it also means we need to press @key{RET}
 after every entry, even for a simple number like @expr{1}.
 
-(You can type @kbd{C-u m a} to enable a special ``incomplete algebraic
-mode'' in which the @kbd{(} and @kbd{[} keys use algebraic entry even
+(You can type @kbd{C-u m a} to enable a special Incomplete Algebraic
+mode in which the @kbd{(} and @kbd{[} keys use algebraic entry even
 though regular numeric keys still use RPN numeric entry.  There is also
-a ``total algebraic mode,'' started by typing @kbd{m t}, in which all
+Total Algebraic mode, started by typing @kbd{m t}, in which all
 normal keys begin algebraic entry.  You must then use the @key{META} key
-to type Calc commands:  @kbd{M-m t} to get back out of total algebraic
+to type Calc commands:  @kbd{M-m t} to get back out of Total Algebraic
 mode, @kbd{M-q} to quit, etc.)
 
-If you're still in algebraic mode, press @kbd{m a} again to turn it off.
+If you're still in Algebraic mode, press @kbd{m a} again to turn it off.
 
 Actual non-RPN calculators use a mixture of algebraic and RPN styles.
 In general, operators of two numbers (like @kbd{+} and @kbd{*})
@@ -2079,7 +2072,7 @@ accomplish this in Calc by performing your calculation as a series
 of algebraic entries, using the @kbd{$} sign to tie them together.
 In an algebraic formula, @kbd{$} represents the number on the top
 of the stack.  Here, we perform the calculation 
-@texline @tmath{\sqrt{2\times4+1}},
+@texline @math{\sqrt{2\times4+1}},
 @infoline @expr{sqrt(2*4+1)},
 which on a traditional calculator would be done by pressing
 @kbd{2 * 4 + 1 =} and then the square-root key.
@@ -2383,7 +2376,7 @@ during entry of a number or algebraic formula.
 @noindent
 Calc has many types of @dfn{modes} that affect the way it interprets
 your commands or the way it displays data.  We have already seen one
-mode, namely algebraic mode.  There are many others, too; we'll
+mode, namely Algebraic mode.  There are many others, too; we'll
 try some of the most common ones here.
 
 Perhaps the most fundamental mode in Calc is the current @dfn{precision}.
@@ -2741,11 +2734,11 @@ angle is measured in degrees.  For example,
 @noindent
 The shift-@kbd{S} command computes the sine of an angle.  The sine
 of 45 degrees is 
-@texline @tmath{\sqrt{2}/2};
+@texline @math{\sqrt{2}/2};
 @infoline @expr{sqrt(2)/2}; 
 squaring this yields @expr{2/4 = 0.5}.  However, there has been a slight
 roundoff error because the representation of 
-@texline @tmath{\sqrt{2}/2}
+@texline @math{\sqrt{2}/2}
 @infoline @expr{sqrt(2)/2} 
 wasn't exact.  The @kbd{c 1} command is a handy way to clean up numbers
 in this case; it temporarily reduces the precision by one digit while it
@@ -2786,7 +2779,7 @@ either radians or degrees, depending on the current angular mode.
 
 @noindent
 Here we compute the Inverse Sine of 
-@texline @tmath{\sqrt{0.5}},
+@texline @math{\sqrt{0.5}},
 @infoline @expr{sqrt(0.5)}, 
 first in radians, then in degrees.
 
@@ -2802,7 +2795,7 @@ and vice-versa.
 @end group
 @end smallexample
 
-Another interesting mode is @dfn{fraction mode}.  Normally,
+Another interesting mode is @dfn{Fraction mode}.  Normally,
 dividing two integers produces a floating-point result if the
 quotient can't be expressed as an exact integer.  Fraction mode
 causes integer division to produce a fraction, i.e., a rational
@@ -2826,7 +2819,7 @@ You can enter a fraction at any time using @kbd{:} notation.
 (Calc uses @kbd{:} instead of @kbd{/} as the fraction separator
 because @kbd{/} is already used to divide the top two stack
 elements.)  Calculations involving fractions will always
-produce exact fractional results; fraction mode only says
+produce exact fractional results; Fraction mode only says
 what to do when dividing two integers.
 
 @cindex Fractions vs. floats
@@ -2837,7 +2830,7 @@ why would you ever use floating-point numbers instead?
 
 Typing @kbd{m f} doesn't change any existing values in the stack.
 In the above example, we had to Undo the division and do it over
-again when we changed to fraction mode.  But if you use the
+again when we changed to Fraction mode.  But if you use the
 evaluates-to operator you can get commands like @kbd{m f} to
 recompute for you.
 
@@ -2853,7 +2846,7 @@ recompute for you.
 @noindent
 In this example, the righthand side of the @samp{=>} operator
 on the stack is recomputed when we change the precision, then
-again when we change to fraction mode.  All @samp{=>} expressions
+again when we change to Fraction mode.  All @samp{=>} expressions
 on the stack are recomputed every time you change any mode that
 might affect their values.
 
@@ -2974,9 +2967,9 @@ logarithm).  These can be modified by the @kbd{I} (inverse) and
 
 Let's compute the sine and cosine of an angle, and verify the
 identity 
-@texline @tmath{\sin^2x + \cos^2x = 1}.
+@texline @math{\sin^2x + \cos^2x = 1}.
 @infoline @expr{sin(x)^2 + cos(x)^2 = 1}.  
-We'll arbitrarily pick @i{-64} degrees as a good value for @expr{x}.
+We'll arbitrarily pick @mathit{-64} degrees as a good value for @expr{x}.
 With the angular mode set to degrees (type @w{@kbd{m d}}), do:
 
 @smallexample
@@ -2997,7 +2990,7 @@ Remember, @kbd{f h} is the @code{calc-hypot}, or square-root of sum
 of squares, command.
 
 Another identity is 
-@texline @tmath{\displaystyle\tan x = {\sin x \over \cos x}}.
+@texline @math{\displaystyle\tan x = {\sin x \over \cos x}}.
 @infoline @expr{tan(x) = sin(x) / cos(x)}.
 @smallexample
 @group
@@ -3012,7 +3005,7 @@ Another identity is
 
 A physical interpretation of this calculation is that if you move
 @expr{0.89879} units downward and @expr{0.43837} units to the right,
-your direction of motion is @i{-64} degrees from horizontal.  Suppose
+your direction of motion is @mathit{-64} degrees from horizontal.  Suppose
 we move in the opposite direction, up and to the left:
 
 @smallexample
@@ -3060,7 +3053,7 @@ the top two stack elements right after the @kbd{U U}, then a pair of
 
 A similar identity is supposed to hold for hyperbolic sines and cosines,
 except that it is the @emph{difference}
-@texline @tmath{\cosh^2x - \sinh^2x}
+@texline @math{\cosh^2x - \sinh^2x}
 @infoline @expr{cosh(x)^2 - sinh(x)^2} 
 that always equals one.  Let's try to verify this identity.
 
@@ -3167,7 +3160,7 @@ in this case).
 
 If you take the factorial of a non-integer, Calc uses a generalized
 factorial function defined in terms of Euler's Gamma function
-@texline @tmath{\Gamma(n)}
+@texline @math{\Gamma(n)}
 @infoline @expr{gamma(n)}
 (which is itself available as the @kbd{f g} command).
 
@@ -3184,13 +3177,13 @@ factorial function defined in terms of Euler's Gamma function
 
 @noindent
 Here we verify the identity 
-@texline @tmath{n! = \Gamma(n+1)}.
+@texline @math{n! = \Gamma(n+1)}.
 @infoline @expr{@var{n}!@: = gamma(@var{n}+1)}.
 
 The binomial coefficient @var{n}-choose-@var{m}
-@texline or @tmath{\displaystyle {n \choose m}}
+@texline or @math{\displaystyle {n \choose m}}
 is defined by
-@texline @tmath{\displaystyle {n! \over m! \, (n-m)!}}
+@texline @math{\displaystyle {n! \over m! \, (n-m)!}}
 @infoline @expr{n!@: / m!@: (n-m)!}
 for all reals @expr{n} and @expr{m}.  The intermediate results in this
 formula can become quite large even if the final result is small; the
@@ -3475,7 +3468,7 @@ vector.
 
 (@bullet{}) @strong{Exercise 1.}  Use @samp{*} to sum along the rows
 of the above 
-@texline @tmath{2\times3}
+@texline @math{2\times3}
 @infoline 2x3 
 matrix to get @expr{[6, 15]}.  Now use @samp{*} to sum along the columns
 to get @expr{[5, 7, 9]}. 
@@ -3626,10 +3619,10 @@ assume the vector was a row vector in order to make the dimensions
 come out right, and the answer would be incorrect.  If you
 don't feel safe letting Calc take either interpretation of your
 vectors, use explicit 
-@texline @tmath{N\times1}
+@texline @math{N\times1}
 @infoline Nx1
 or
-@texline @tmath{1\times N}
+@texline @math{1\times N}
 @infoline 1xN
 matrices instead.  In this case, you would enter the original column
 vector as @samp{[[6], [2], [3]]} or @samp{[6; 2; 3]}.
@@ -3678,7 +3671,7 @@ on the left by the transpose of @expr{A}:
 $A^T A \, X = A^T B$, where $A^T$ is the transpose \samp{trn(A)}.
 @end tex
 Now 
-@texline @tmath{A^T A}
+@texline @math{A^T A}
 @infoline @expr{trn(A)*A} 
 is a square matrix so a solution is possible.  It turns out that the
 @expr{X} vector you compute in this way will be a ``least-squares''
@@ -3774,7 +3767,7 @@ of each element.
 
 (@bullet{}) @strong{Exercise 1.}  Compute a vector of powers of two
 from 
-@texline @tmath{2^{-4}}
+@texline @math{2^{-4}}
 @infoline @expr{2^-4} 
 to @expr{2^4}.  @xref{List Answer 1, 1}. (@bullet{})
 
@@ -3978,7 +3971,7 @@ $$ m = {N \sum x y - \sum x \sum y  \over
 
 @noindent
 where 
-@texline @tmath{\sum x}
+@texline @math{\sum x}
 @infoline @expr{sum(x)} 
 represents the sum of all the values of @expr{x}.  While there is an
 actual @code{sum} function in Calc, it's easier to sum a vector using a
@@ -4083,7 +4076,7 @@ $$ b = {\sum y - m \sum x \over N} $$
 @end smallexample
 
 Let's ``plot'' this straight line approximation, 
-@texline @tmath{y \approx m x + b},
+@texline @math{y \approx m x + b},
 @infoline @expr{m x + b}, 
 and compare it with the original data.
 
@@ -4336,7 +4329,7 @@ command to enable multi-line display of vectors.)
 @cindex Maximizing a function over a list of values
 @c [fix-ref Numerical Solutions]
 (@bullet{}) @strong{Exercise 8.}  Compute a list of values of Bessel's
-@texline @tmath{J_1(x)}
+@texline @math{J_1(x)}
 @infoline @expr{J1} 
 function @samp{besJ(1,x)} for @expr{x} from 0 to 5 in steps of 0.25.
 Find the value of @expr{x} (from among the above set of values) for
@@ -4348,7 +4341,7 @@ of thing automatically; @pxref{Numerical Solutions}.)
 
 @cindex Digits, vectors of
 (@bullet{}) @strong{Exercise 9.}  You are given an integer in the range
-@texline @tmath{0 \le N < 10^m}
+@texline @math{0 \le N < 10^m}
 @infoline @expr{0 <= N < 10^m} 
 for @expr{m=12} (i.e., an integer of less than
 twelve digits).  Convert this integer into a vector of @expr{m}
@@ -4364,14 +4357,14 @@ happened?  How would you do this test?  @xref{List Answer 10, 10}. (@bullet{})
 
 (@bullet{}) @strong{Exercise 11.}  The area of a circle of radius one
 is @cpi{}.  The area of the 
-@texline @tmath{2\times2}
+@texline @math{2\times2}
 @infoline 2x2
 square that encloses that circle is 4.  So if we throw @var{n} darts at
 random points in the square, about @cpiover{4} of them will land inside
 the circle.  This gives us an entertaining way to estimate the value of 
 @cpi{}.  The @w{@kbd{k r}}
 command picks a random number between zero and the value on the stack.
-We could get a random floating-point number between @i{-1} and 1 by typing
+We could get a random floating-point number between @mathit{-1} and 1 by typing
 @w{@kbd{2.0 k r 1 -}}.  Build a vector of 100 random @expr{(x,y)} points in
 this square, then use vector mapping and reduction to count how many
 points lie inside the unit circle.  Hint:  Use the @kbd{v b} command.
@@ -4383,12 +4376,12 @@ another way to calculate @cpi{}.  Say you have an infinite field
 of vertical lines with a spacing of one inch.  Toss a one-inch matchstick
 onto the field.  The probability that the matchstick will land crossing
 a line turns out to be 
-@texline @tmath{2/\pi}.
+@texline @math{2/\pi}.
 @infoline @expr{2/pi}.  
 Toss 100 matchsticks to estimate @cpi{}.  (If you want still more fun,
 the probability that the GCD (@w{@kbd{k g}}) of two large integers is
 one turns out to be 
-@texline @tmath{6/\pi^2}.
+@texline @math{6/\pi^2}.
 @infoline @expr{6/pi^2}.
 That provides yet another way to estimate @cpi{}.)
 @xref{List Answer 12, 12}. (@bullet{})
@@ -4418,7 +4411,7 @@ value and a number of steps @var{n} from the stack; it then applies the
 function you give to the starting value 0, 1, 2, up to @var{n} times
 and returns a vector of the results.  Use this command to create a
 ``random walk'' of 50 steps.  Start with the two-dimensional point
-@expr{(0,0)}; then take one step a random distance between @i{-1} and 1
+@expr{(0,0)}; then take one step a random distance between @mathit{-1} and 1
 in both @expr{x} and @expr{y}; then take another step, and so on.  Use the
 @kbd{g f} command to display this random walk.  Now modify your random
 walk to walk a unit distance, but in a random direction, at each step.
@@ -4497,7 +4490,7 @@ to allow for roundoff error!)  @xref{Types Answer 1, 1}. (@bullet{})
 @end smallexample
 
 @noindent
-The square root of @i{-9} is by default rendered in rectangular form
+The square root of @mathit{-9} is by default rendered in rectangular form
 (@w{@expr{0 + 3i}}), but we can convert it to polar form (3 with a
 phase angle of 90 degrees).  All the usual arithmetic and scientific
 operations are defined on both types of complex numbers.
@@ -4522,14 +4515,14 @@ algebraic entry.
 
 @noindent
 Since infinity is infinitely large, multiplying it by any finite
-number (like @i{-17}) has no effect, except that since @i{-17}
+number (like @mathit{-17}) has no effect, except that since @mathit{-17}
 is negative, it changes a plus infinity to a minus infinity.
-(``A huge positive number, multiplied by @i{-17}, yields a huge
+(``A huge positive number, multiplied by @mathit{-17}, yields a huge
 negative number.'')  Adding any finite number to infinity also
 leaves it unchanged.  Taking an absolute value gives us plus
 infinity again.  Finally, we add this plus infinity to the minus
 infinity we had earlier.  If you work it out, you might expect
-the answer to be @i{-72} for this.  But the 72 has been completely
+the answer to be @mathit{-72} for this.  But the 72 has been completely
 lost next to the infinities; by the time we compute @w{@samp{inf - inf}}
 the finite difference between them, if any, is undetectable.
 So we say the result is @dfn{indeterminate}, which Calc writes
@@ -4537,7 +4530,7 @@ with the symbol @code{nan} (for Not A Number).
 
 Dividing by zero is normally treated as an error, but you can get
 Calc to write an answer in terms of infinity by pressing @kbd{m i}
-to turn on ``infinite mode.''
+to turn on Infinite mode.
 
 @smallexample
 @group
@@ -4686,7 +4679,7 @@ a 60% chance that the result is correct within 0.59 degrees.
 
 @cindex Torus, volume of
 (@bullet{}) @strong{Exercise 7.}  The volume of a torus (a donut shape) is
-@texline @tmath{2 \pi^2 R r^2}
+@texline @math{2 \pi^2 R r^2}
 @infoline @w{@expr{2 pi^2 R r^2}} 
 where @expr{R} is the radius of the circle that
 defines the center of the tube and @expr{r} is the radius of the tube
@@ -4764,10 +4757,11 @@ or 24 hours.
 @end smallexample
 
 @noindent
-In this last step, Calc has found a new number which, when multiplied
-by 5 modulo 24, produces the original number, 21.  If @var{m} is prime
-it is always possible to find such a number.  For non-prime @var{m}
-like 24, it is only sometimes possible.
+In this last step, Calc has divided by 5 modulo 24; i.e., it has found a
+new number which, when multiplied by 5 modulo 24, produces the original
+number, 21.  If @var{m} is prime and the divisor is not a multiple of
+@var{m}, it is always possible to find such a number.  For non-prime
+@var{m} like 24, it is only sometimes possible. 
 
 @smallexample
 @group
@@ -4786,7 +4780,7 @@ that arises in the second one.
 @cindex Fermat, primality test of
 (@bullet{}) @strong{Exercise 10.}  A theorem of Pierre de Fermat
 says that 
-@texline @w{@tmath{x^{n-1} \bmod n = 1}}
+@texline @w{@math{x^{n-1} \bmod n = 1}}
 @infoline @expr{x^(n-1) mod n = 1}
 if @expr{n} is a prime number and @expr{x} is an integer less than
 @expr{n}.  If @expr{n} is @emph{not} a prime number, this will
@@ -4814,7 +4808,7 @@ This calculation tells me it is six hours and 22 minutes until midnight.
 
 (@bullet{}) @strong{Exercise 11.}  A rule of thumb is that one year
 is about 
-@texline @tmath{\pi \times 10^7}
+@texline @math{\pi \times 10^7}
 @infoline @w{@expr{pi * 10^7}} 
 seconds.  What time will it be that many seconds from right now?
 @xref{Types Answer 11, 11}. (@bullet{})
@@ -4967,7 +4961,7 @@ formulas.
 @subsection Basic Algebra
 
 @noindent
-If you enter a formula in algebraic mode that refers to variables,
+If you enter a formula in Algebraic mode that refers to variables,
 the formula itself is pushed onto the stack.  You can manipulate
 formulas as regular data objects.
 
@@ -5121,7 +5115,7 @@ solution by pressing @kbd{H} (the Hyperbolic flag) before @kbd{a S}.
 
 @noindent
 Calc has invented the variable @samp{s1} to represent an unknown sign;
-it is supposed to be either @i{+1} or @i{-1}.  Here we have used
+it is supposed to be either @mathit{+1} or @mathit{-1}.  Here we have used
 the ``let'' command to evaluate the expression when the sign is negative.
 If we plugged this into our second derivative we would get the same,
 negative, answer, so @expr{x = -1.19023} is also a maximum.
@@ -5188,7 +5182,7 @@ polynomial?  (The answer will be unique to within a constant
 multiple; choose the solution where the leading coefficient is one.)
 @xref{Algebra Answer 2, 2}. (@bullet{})
 
-The @kbd{m s} command enables ``symbolic mode,'' in which formulas
+The @kbd{m s} command enables Symbolic mode, in which formulas
 like @samp{sqrt(5)} that can't be evaluated exactly are left in
 symbolic form rather than giving a floating-point approximate answer.
 Fraction mode (@kbd{m f}) is also useful when doing algebra.
@@ -5203,7 +5197,7 @@ Fraction mode (@kbd{m f}) is also useful when doing algebra.
 @end group
 @end smallexample
 
-One more mode that makes reading formulas easier is ``Big mode.''
+One more mode that makes reading formulas easier is Big mode.
 
 @smallexample
 @group
@@ -5291,7 +5285,7 @@ One way to do it is again with vector mapping and reduction:
 
 (@bullet{}) @strong{Exercise 3.}  Find the integral from 1 to @expr{y}
 of 
-@texline @tmath{x \sin \pi x}
+@texline @math{x \sin \pi x}
 @infoline @w{@expr{x sin(pi x)}} 
 (where the sine is calculated in radians).  Find the values of the
 integral for integers @expr{y} from 1 to 5.  @xref{Algebra Answer 3,
@@ -5300,7 +5294,7 @@ integral for integers @expr{y} from 1 to 5.  @xref{Algebra Answer 3,
 Calc's integrator can do many simple integrals symbolically, but many
 others are beyond its capabilities.  Suppose we wish to find the area
 under the curve 
-@texline @tmath{\sin x \ln x}
+@texline @math{\sin x \ln x}
 @infoline @expr{sin(x) ln(x)} 
 over the same range of @expr{x}.  If you entered this formula and typed
 @kbd{a i x @key{RET}} (don't bother to try this), Calc would work for a
@@ -5351,7 +5345,7 @@ also have used plain @kbd{v x} as follows:  @kbd{v x 10 @key{RET} 9 + .1 *}.)
 
 @noindent
 (If you got wildly different results, did you remember to switch
-to radians mode?)
+to Radians mode?)
 
 Here we have divided the curve into ten segments of equal width;
 approximating these segments as rectangular boxes (i.e., assuming
@@ -5442,7 +5436,7 @@ $$ h (f(a) + f(a+h) + f(a+2h) + f(a+3h) + \cdots
 @end tex
 
 Compute the integral from 1 to 2 of 
-@texline @tmath{\sin x \ln x}
+@texline @math{\sin x \ln x}
 @infoline @expr{sin(x) ln(x)} 
 using Simpson's rule with 10 slices.  
 @xref{Algebra Answer 4, 4}. (@bullet{})
@@ -5607,7 +5601,7 @@ only once and stores the compiled form along with the variable.  That's
 another good reason to store your rules in variables rather than
 entering them on the fly.
 
-(@bullet{}) @strong{Exercise 1.}  Type @kbd{m s} to get symbolic
+(@bullet{}) @strong{Exercise 1.}  Type @kbd{m s} to get Symbolic
 mode, then enter the formula @samp{@w{(2 + sqrt(2))} / @w{(1 + sqrt(2))}}.
 Using a rewrite rule, simplify this formula by multiplying both
 sides by the conjugate @w{@samp{1 - sqrt(2)}}.  The result will have
@@ -5866,11 +5860,11 @@ so that @expr{2 - 3 (x + y) + x y} is a sum of three terms.)
 @xref{Rewrites Answer 5, 5}. (@bullet{})
 
 (@bullet{}) @strong{Exercise 6.}  Calc considers the form @expr{0^0}
-to be ``indeterminate,'' and leaves it unevaluated (assuming infinite
+to be ``indeterminate,'' and leaves it unevaluated (assuming Infinite
 mode is not enabled).  Some people prefer to define @expr{0^0 = 1},
 so that the identity @expr{x^0 = 1} can safely be used for all @expr{x}.
 Find a way to make Calc follow this convention.  What happens if you
-now type @kbd{m i} to turn on infinite mode?
+now type @kbd{m i} to turn on Infinite mode?
 @xref{Rewrites Answer 6, 6}. (@bullet{})
 
 (@bullet{}) @strong{Exercise 7.}  A Taylor series for a function is an
@@ -5988,7 +5982,7 @@ in @samp{a + 1} for @samp{x} in the defining formula.
 @end ignore
 @tindex Si
 (@bullet{}) @strong{Exercise 1.}  The ``sine integral'' function
-@texline @tmath{{\rm Si}(x)}
+@texline @math{{\rm Si}(x)}
 @infoline @expr{Si(x)} 
 is defined as the integral of @samp{sin(t)/t} for
 @expr{t = 0} to @expr{x} in radians.  (It was invented because this
@@ -6066,7 +6060,7 @@ the following functions:
 @enumerate
 @item
 Compute 
-@texline @tmath{\displaystyle{\sin x \over x}},
+@texline @math{\displaystyle{\sin x \over x}},
 @infoline @expr{sin(x) / x}, 
 where @expr{x} is the number on the top of the stack.
 
@@ -6132,13 +6126,13 @@ key if you have one, makes a copy of the number in level 2.)
 @cindex Phi, golden ratio
 A fascinating property of the Fibonacci numbers is that the @expr{n}th
 Fibonacci number can be found directly by computing 
-@texline @tmath{\phi^n / \sqrt{5}}
+@texline @math{\phi^n / \sqrt{5}}
 @infoline @expr{phi^n / sqrt(5)}
 and then rounding to the nearest integer, where 
-@texline @tmath{\phi} (``phi''),
+@texline @math{\phi} (``phi''),
 @infoline @expr{phi}, 
 the ``golden ratio,'' is 
-@texline @tmath{(1 + \sqrt{5}) / 2}.
+@texline @math{(1 + \sqrt{5}) / 2}.
 @infoline @expr{(1 + sqrt(5)) / 2}. 
 (For convenience, this constant is available from the @code{phi}
 variable, or the @kbd{I H P} command.)
@@ -6155,17 +6149,17 @@ variable, or the @kbd{I H P} command.)
 @cindex Continued fractions
 (@bullet{}) @strong{Exercise 5.}  The @dfn{continued fraction}
 representation of 
-@texline @tmath{\phi}
+@texline @math{\phi}
 @infoline @expr{phi} 
 is 
-@texline @tmath{1 + 1/(1 + 1/(1 + 1/( \ldots )))}.
+@texline @math{1 + 1/(1 + 1/(1 + 1/( \ldots )))}.
 @infoline @expr{1 + 1/(1 + 1/(1 + 1/( ...@: )))}.
 We can compute an approximate value by carrying this however far
 and then replacing the innermost 
-@texline @tmath{1/( \ldots )}
+@texline @math{1/( \ldots )}
 @infoline @expr{1/( ...@: )} 
 by 1.  Approximate
-@texline @tmath{\phi}
+@texline @math{\phi}
 @infoline @expr{phi} 
 using a twenty-term continued fraction.
 @xref{Programming Answer 5, 5}. (@bullet{})
@@ -6265,7 +6259,7 @@ The @dfn{Bernoulli numbers} are a sequence with the interesting
 property that all of the odd Bernoulli numbers are zero, and the
 even ones, while difficult to compute, can be roughly approximated
 by the formula 
-@texline @tmath{\displaystyle{2 n! \over (2 \pi)^n}}.
+@texline @math{\displaystyle{2 n! \over (2 \pi)^n}}.
 @infoline @expr{2 n!@: / (2 pi)^n}.  
 Let's write a keyboard macro to compute (approximate) Bernoulli numbers.
 (Calc has a command, @kbd{k b}, to compute exact Bernoulli numbers, but
@@ -6439,14 +6433,14 @@ $$ x_{\rm new} = x - {f(x) \over f'(x)} $$
 @noindent
 where @expr{f'(x)} is the derivative of @expr{f}.  The @expr{x}
 values will quickly converge to a solution, i.e., eventually
-@texline @tmath{x_{\rm new}}
+@texline @math{x_{\rm new}}
 @infoline @expr{new_x} 
 and @expr{x} will be equal to within the limits
 of the current precision.  Write a program which takes a formula
 involving the variable @expr{x}, and an initial guess @expr{x_0},
 on the stack, and produces a value of @expr{x} for which the formula
 is zero.  Use it to find a solution of 
-@texline @tmath{\sin(\cos x) = 0.5}
+@texline @math{\sin(\cos x) = 0.5}
 @infoline @expr{sin(cos(x)) = 0.5}
 near @expr{x = 4.5}.  (Use angles measured in radians.)  Note that
 the built-in @w{@kbd{a R}} (@code{calc-find-root}) command uses Newton's
@@ -6456,10 +6450,10 @@ method when it is able.  @xref{Programming Answer 8, 8}. (@bullet{})
 @cindex Gamma constant, Euler's
 @cindex Euler's gamma constant
 (@bullet{}) @strong{Exercise 9.}  The @dfn{digamma} function 
-@texline @tmath{\psi(z) (``psi'')}
+@texline @math{\psi(z) (``psi'')}
 @infoline @expr{psi(z)}
 is defined as the derivative of 
-@texline @tmath{\ln \Gamma(z)}.
+@texline @math{\ln \Gamma(z)}.
 @infoline @expr{ln(gamma(z))}.  
 For large values of @expr{z}, it can be approximated by the infinite sum
 
@@ -6478,7 +6472,7 @@ $$
 
 @noindent
 where 
-@texline @tmath{\sum}
+@texline @math{\sum}
 @infoline @expr{sum} 
 represents the sum over @expr{n} from 1 to infinity
 (or to some limit high enough to give the desired accuracy), and
@@ -6486,27 +6480,27 @@ the @code{bern} function produces (exact) Bernoulli numbers.
 While this sum is not guaranteed to converge, in practice it is safe.
 An interesting mathematical constant is Euler's gamma, which is equal
 to about 0.5772.  One way to compute it is by the formula,
-@texline @tmath{\gamma = -\psi(1)}.
+@texline @math{\gamma = -\psi(1)}.
 @infoline @expr{gamma = -psi(1)}.  
 Unfortunately, 1 isn't a large enough argument
 for the above formula to work (5 is a much safer value for @expr{z}).
 Fortunately, we can compute 
-@texline @tmath{\psi(1)}
+@texline @math{\psi(1)}
 @infoline @expr{psi(1)} 
 from 
-@texline @tmath{\psi(5)}
+@texline @math{\psi(5)}
 @infoline @expr{psi(5)} 
 using the recurrence 
-@texline @tmath{\psi(z+1) = \psi(z) + {1 \over z}}.
+@texline @math{\psi(z+1) = \psi(z) + {1 \over z}}.
 @infoline @expr{psi(z+1) = psi(z) + 1/z}.  
 Your task:  Develop a program to compute 
-@texline @tmath{\psi(z)};
+@texline @math{\psi(z)};
 @infoline @expr{psi(z)}; 
 it should ``pump up'' @expr{z}
 if necessary to be greater than 5, then use the above summation
 formula.  Use looping commands to compute the sum.  Use your function
 to compute 
-@texline @tmath{\gamma}
+@texline @math{\gamma}
 @infoline @expr{gamma} 
 to twelve decimal places.  (Calc has a built-in command
 for Euler's constant, @kbd{I P}, which you can use to check your answer.)
@@ -6683,18 +6677,18 @@ This section includes answers to all the exercises in the Calc tutorial.
 @kbd{1 @key{RET} 2 @key{RET} 3 @key{RET} 4 + * -}
 
 The result is 
-@texline @tmath{1 - (2 \times (3 + 4)) = -13}.
+@texline @math{1 - (2 \times (3 + 4)) = -13}.
 @infoline @expr{1 - (2 * (3 + 4)) = -13}.
 
 @node RPN Answer 2, RPN Answer 3, RPN Answer 1, Answers to Exercises
 @subsection RPN Tutorial Exercise 2
 
 @noindent
-@texline @tmath{2\times4 + 7\times9.5 + {5\over4} = 75.75}
+@texline @math{2\times4 + 7\times9.5 + {5\over4} = 75.75}
 @infoline @expr{2*4 + 7*9.5 + 5/4 = 75.75}
 
 After computing the intermediate term 
-@texline @tmath{2\times4 = 8},
+@texline @math{2\times4 = 8},
 @infoline @expr{2*4 = 8}, 
 you can leave that result on the stack while you compute the second
 term.  With both of these results waiting on the stack you can then
@@ -6845,7 +6839,7 @@ the result will be zero because Calc uses the general rule that ``zero
 times anything is zero.''
 
 @c [fix-ref Infinities]
-The @kbd{m i} command enables an @dfn{infinite mode} in which @expr{1 / 0}
+The @kbd{m i} command enables an @dfn{Infinite mode} in which @expr{1 / 0}
 results in a special symbol that represents ``infinity.''  If you
 multiply infinity by zero, Calc uses another special new symbol to
 show that the answer is ``indeterminate.''  @xref{Infinities}, for
@@ -7003,13 +6997,13 @@ give a floating-point result that is inaccurate even when rounded
 down to an integer.  Consider @expr{123456789 / 2} when the current
 precision is 6 digits.  The true answer is @expr{61728394.5}, but
 with a precision of 6 this will be rounded to 
-@texline @tmath{12345700.0/2.0 = 61728500.0}.
+@texline @math{12345700.0/2.0 = 61728500.0}.
 @infoline @expr{12345700.@: / 2.@: = 61728500.}.
 The result, when converted to an integer, will be off by 106.
 
 Here are two solutions:  Raise the precision enough that the
 floating-point round-off error is strictly to the right of the
-decimal point.  Or, convert to fraction mode so that @expr{123456789 / 2}
+decimal point.  Or, convert to Fraction mode so that @expr{123456789 / 2}
 produces the exact fraction @expr{123456789:2}, which can be rounded
 down by the @kbd{F} command without ever switching to floating-point
 format.
@@ -7022,9 +7016,9 @@ format.
 does a floating-point calculation instead and produces @expr{1.5}.
 
 Calc will find an exact result for a logarithm if the result is an integer
-or the reciprocal of an integer.  But there is no efficient way to search
-the space of all possible rational numbers for an exact answer, so Calc
-doesn't try.
+or (when in Fraction mode) the reciprocal of an integer.  But there is
+no efficient way to search the space of all possible rational numbers
+for an exact answer, so Calc doesn't try.
 
 @node Vector Answer 1, Vector Answer 2, Arithmetic Answer 2, Answers to Exercises
 @subsection Vector Tutorial Exercise 1
@@ -7096,7 +7090,7 @@ matrix as usual.
 @end group
 @end smallexample
 
-This can be made more readable using @kbd{d B} to enable ``big'' display
+This can be made more readable using @kbd{d B} to enable Big display
 mode:
 
 @smallexample
@@ -7107,23 +7101,23 @@ mode:
 @end group
 @end smallexample
 
-Type @kbd{d N} to return to ``normal'' display mode afterwards.
+Type @kbd{d N} to return to Normal display mode afterwards.
 
 @node Matrix Answer 3, List Answer 1, Matrix Answer 2, Answers to Exercises
 @subsection Matrix Tutorial Exercise 3
 
 @noindent
 To solve 
-@texline @tmath{A^T A \, X = A^T B},
+@texline @math{A^T A \, X = A^T B},
 @infoline @expr{trn(A) * A * X = trn(A) * B}, 
 first we compute
-@texline @tmath{A' = A^T A}
+@texline @math{A' = A^T A}
 @infoline @expr{A2 = trn(A) * A} 
 and 
-@texline @tmath{B' = A^T B};
+@texline @math{B' = A^T B};
 @infoline @expr{B2 = trn(A) * B}; 
 now, we have a system 
-@texline @tmath{A' X = B'}
+@texline @math{A' X = B'}
 @infoline @expr{A2 * X = B2} 
 which we can solve using Calc's @samp{/} command.
 
@@ -7155,7 +7149,7 @@ $$
 
 The first step is to enter the coefficient matrix.  We'll store it in
 quick variable number 7 for later reference.  Next, we compute the
-@texline @tmath{B'}
+@texline @math{B'}
 @infoline @expr{B2} 
 vector.
 
@@ -7173,7 +7167,7 @@ vector.
 
 @noindent
 Now we compute the matrix 
-@texline @tmath{A'}
+@texline @math{A'}
 @infoline @expr{A2} 
 and divide.
 
@@ -7194,16 +7188,16 @@ and divide.
 round-off error.)
 
 Notice that the answers are similar to those for the 
-@texline @tmath{3\times3}
+@texline @math{3\times3}
 @infoline 3x3
 system solved in the text.  That's because the fourth equation that was 
 added to the system is almost identical to the first one multiplied
 by two.  (If it were identical, we would have gotten the exact same
 answer since the 
-@texline @tmath{4\times3}
+@texline @math{4\times3}
 @infoline 4x3
 system would be equivalent to the original 
-@texline @tmath{3\times3}
+@texline @math{3\times3}
 @infoline 3x3
 system.)
 
@@ -7280,7 +7274,7 @@ $$ m \times x + b \times 1 = y $$
 @end tex
 
 Thus we want a 
-@texline @tmath{19\times2}
+@texline @math{19\times2}
 @infoline 19x2
 matrix with our @expr{x} vector as one column and
 ones as the other column.  So, first we build the column of ones, then
@@ -7299,10 +7293,10 @@ we combine the two columns to form our @expr{A} matrix.
 
 @noindent
 Now we compute 
-@texline @tmath{A^T y}
+@texline @math{A^T y}
 @infoline @expr{trn(A) * y} 
 and 
-@texline @tmath{A^T A}
+@texline @math{A^T A}
 @infoline @expr{trn(A) * A} 
 and divide.
 
@@ -7330,7 +7324,7 @@ and divide.
 @end smallexample
 
 Since we were solving equations of the form 
-@texline @tmath{m \times x + b \times 1 = y},
+@texline @math{m \times x + b \times 1 = y},
 @infoline @expr{m*x + b*1 = y}, 
 these numbers should be @expr{m} and @expr{b}, respectively.  Sure
 enough, they agree exactly with the result computed using @kbd{V M} and
@@ -7393,7 +7387,7 @@ then raise the number to that power.)
 
 @noindent
 A number @expr{j} is a divisor of @expr{n} if 
-@texline @tmath{n \mathbin{\hbox{\code{\%}}} j = 0}.
+@texline @math{n \mathbin{\hbox{\code{\%}}} j = 0}.
 @infoline @samp{n % j = 0}.  
 The first step is to get a vector that identifies the divisors.
 
@@ -7464,7 +7458,7 @@ zero, so adding zeros on the left and right is safe.  From then on
 the job is pretty straightforward.
 
 Incidentally, Calc provides the 
-@texline @dfn{M@"obius} @tmath{\mu}
+@texline @dfn{M@"obius} @math{\mu}
 @infoline @dfn{Moebius mu} 
 function which is zero if and only if its argument is square-free.  It
 would be a much more convenient way to do the above test in practice.
@@ -7498,7 +7492,7 @@ The numbers down the lefthand edge of the list we desire are called
 the ``triangular numbers'' (now you know why!).  The @expr{n}th
 triangular number is the sum of the integers from 1 to @expr{n}, and
 can be computed directly by the formula 
-@texline @tmath{n (n+1) \over 2}.
+@texline @math{n (n+1) \over 2}.
 @infoline @expr{n * (n+1) / 2}.
 
 @smallexample
@@ -7594,7 +7588,7 @@ A way to isolate the maximum value is to compute the maximum using
 @noindent
 It's a good idea to verify, as in the last step above, that only
 one value is equal to the maximum.  (After all, a plot of 
-@texline @tmath{\sin x}
+@texline @math{\sin x}
 @infoline @expr{sin(x)}
 might have many points all equal to the maximum value, 1.)
 
@@ -7866,10 +7860,10 @@ This problem can be made a lot easier by taking advantage of some
 symmetries.  First of all, after some thought it's clear that the
 @expr{y} axis can be ignored altogether.  Just pick a random @expr{x}
 component for one end of the match, pick a random direction 
-@texline @tmath{\theta},
+@texline @math{\theta},
 @infoline @expr{theta},
 and see if @expr{x} and 
-@texline @tmath{x + \cos \theta}
+@texline @math{x + \cos \theta}
 @infoline @expr{x + cos(theta)} 
 (which is the @expr{x} coordinate of the other endpoint) cross a line.
 The lines are at integer coordinates, so this happens when the two
@@ -7886,10 +7880,10 @@ coordinates 0 and 1 for the lines on either side of the leftmost
 endpoint.  The rightmost endpoint will be between 0 and 1 if the
 match does not cross a line, or between 1 and 2 if it does.  So:
 Pick random @expr{x} and 
-@texline @tmath{\theta},
+@texline @math{\theta},
 @infoline @expr{theta}, 
 compute
-@texline @tmath{x + \cos \theta},
+@texline @math{x + \cos \theta},
 @infoline @expr{x + cos(theta)},
 and count how many of the results are greater than one.  Simple!
 
@@ -8214,7 +8208,7 @@ precision slightly and try again:
 @noindent
 Aha!  It's unlikely that an irrational number would equal a fraction
 this simple to within ten digits, so our original number was probably
-@texline @tmath{\sqrt{27 \pi / 53}}.
+@texline @math{\sqrt{27 \pi / 53}}.
 @infoline @expr{sqrt(27 pi / 53)}.
 
 Notice that we didn't need to re-round the number when we reduced the
@@ -8254,7 +8248,7 @@ so it settles for the conservative answer @code{uinf}.
 
 @samp{ln(0) = -inf}.  Here we have an infinite answer to a finite
 input.  As in the @expr{1 / 0} case, Calc will only use infinities
-here if you have turned on ``infinite'' mode.  Otherwise, it will
+here if you have turned on Infinite mode.  Otherwise, it will
 treat @samp{ln(0)} as an error.
 
 @node Types Answer 3, Types Answer 4, Types Answer 2, Answers to Exercises
@@ -8468,16 +8462,16 @@ Calc normally treats division by zero as an error, so that the formula
 @w{@samp{1 / [0 .. 10]}}, also (potentially) divides by zero because zero
 is now a member of the interval.  So Calc leaves this one unevaluated, too.
 
-If you turn on ``infinite'' mode by pressing @kbd{m i}, you will
+If you turn on Infinite mode by pressing @kbd{m i}, you will
 instead get the answer @samp{[0.1 .. inf]}, which includes infinity
 as a possible value.
 
 The fourth calculation, @samp{1 / (-10 .. 10)}, has the same problem.
 Zero is buried inside the interval, but it's still a possible value.
 It's not hard to see that the actual result of @samp{1 / (-10 .. 10)}
-will be either greater than @i{0.1}, or less than @i{-0.1}.  Thus
+will be either greater than @mathit{0.1}, or less than @mathit{-0.1}.  Thus
 the interval goes from minus infinity to plus infinity, with a ``hole''
-in it from @i{-0.1} to @i{0.1}.  Calc doesn't have any way to
+in it from @mathit{-0.1} to @mathit{0.1}.  Calc doesn't have any way to
 represent this, so it just reports @samp{[-inf .. inf]} as the answer.
 It may be disappointing to hear ``the answer lies somewhere between
 minus infinity and plus infinity, inclusive,'' but that's the best
@@ -8497,9 +8491,9 @@ that interval arithmetic can do in this case.
 @end smallexample
 
 @noindent
-In the first case the result says, ``if a number is between @i{-3} and
+In the first case the result says, ``if a number is between @mathit{-3} and
 3, its square is between 0 and 9.''  The second case says, ``the product
-of two numbers each between @i{-3} and 3 is between @i{-9} and 9.''
+of two numbers each between @mathit{-3} and 3 is between @mathit{-9} and 9.''
 
 An interval form is not a number; it is a symbol that can stand for
 many different numbers.  Two identical-looking interval forms can stand
@@ -9131,7 +9125,7 @@ But then:
 @end group
 @end smallexample
 
-Perhaps more surprisingly, this rule still works with infinite mode
+Perhaps more surprisingly, this rule still works with Infinite mode
 turned on.  Calc tries @code{EvalRules} before any built-in rules for
 a function.  This allows you to override the default behavior of any
 Calc feature:  Even though Calc now wants to evaluate @expr{0^0} to
@@ -9255,7 +9249,7 @@ algebraic entry, whichever way you prefer:
 
 @noindent
 Computing 
-@texline @tmath{\displaystyle{\sin x \over x}}:
+@texline @math{\displaystyle{\sin x \over x}}:
 @infoline @expr{sin(x) / x}:
 
 Using the stack:  @kbd{C-x (  @key{RET} S @key{TAB} /  C-x )}.
@@ -9326,7 +9320,7 @@ C-x ( ' [0, 1; 1, 1] ^ ($-1) * [1, 1] @key{RET} v u @key{DEL} C-x )
 @noindent
 This program is quite efficient because Calc knows how to raise a
 matrix (or other value) to the power @expr{n} in only 
-@texline @tmath{\log_2 n}
+@texline @math{\log_2 n}
 @infoline @expr{log(n,2)}
 steps.  For example, this program can compute the 1000th Fibonacci
 number (a 209-digit integer!) in about 10 steps; even though the
@@ -9380,7 +9374,7 @@ harmonic number is 4.02.
 @noindent
 The first step is to compute the derivative @expr{f'(x)} and thus
 the formula 
-@texline @tmath{\displaystyle{x - {f(x) \over f'(x)}}}.
+@texline @math{\displaystyle{x - {f(x) \over f'(x)}}}.
 @infoline @expr{x - f(x)/f'(x)}.
 
 (Because this definition is long, it will be repeated in concise form
@@ -9497,10 +9491,10 @@ method (among others) to look for numerical solutions to any equation.
 The first step is to adjust @expr{z} to be greater than 5.  A simple
 ``for'' loop will do the job here.  If @expr{z} is less than 5, we
 reduce the problem using 
-@texline @tmath{\psi(z) = \psi(z+1) - 1/z}.
+@texline @math{\psi(z) = \psi(z+1) - 1/z}.
 @infoline @expr{psi(z) = psi(z+1) - 1/z}.  We go
 on to compute 
-@texline @tmath{\psi(z+1)},
+@texline @math{\psi(z+1)},
 @infoline @expr{psi(z+1)}, 
 and remember to add back a factor of @expr{-1/z} when we're done.  This
 step is repeated until @expr{z > 5}.
@@ -9541,7 +9535,7 @@ are exactly equal, not just equal to within the current precision.)
 @end smallexample
 
 Now we compute the initial part of the sum:  
-@texline @tmath{\ln z - {1 \over 2z}}
+@texline @math{\ln z - {1 \over 2z}}
 @infoline @expr{ln(z) - 1/2z}
 minus the adjustment factor.
 
@@ -9584,7 +9578,7 @@ up the value of @expr{2 n}.  (Calc does have a summation command,
 @end smallexample
 
 This is the value of 
-@texline @tmath{-\gamma},
+@texline @math{-\gamma},
 @infoline @expr{- gamma}, 
 with a slight bit of roundoff error.  To get a full 12 digits, let's use
 a higher precision:
@@ -9619,7 +9613,7 @@ C-x )
 @noindent
 Taking the derivative of a term of the form @expr{x^n} will produce
 a term like 
-@texline @tmath{n x^{n-1}}.
+@texline @math{n x^{n-1}}.
 @infoline @expr{n x^(n-1)}.  
 Taking the derivative of a constant
 produces zero.  From this it is easy to see that the @expr{n}th
@@ -9896,10 +9890,10 @@ By default this creates a pair of small windows, @samp{*Calculator*}
 and @samp{*Calc Trail*}.  The former displays the contents of the
 Calculator stack and is manipulated exclusively through Calc commands.
 It is possible (though not usually necessary) to create several Calc
-Mode buffers each of which has an independent stack, undo list, and
+mode buffers each of which has an independent stack, undo list, and
 mode settings.  There is exactly one Calc Trail buffer; it records a
 list of the results of all calculations that have been done.  The
-Calc Trail buffer uses a variant of Calc Mode, so Calculator commands
+Calc Trail buffer uses a variant of Calc mode, so Calculator commands
 still work when the trail buffer's window is selected.  It is possible
 to turn the trail window off, but the @samp{*Calc Trail*} buffer itself
 still exists and is updated silently.  @xref{Trail Commands}.
@@ -9913,7 +9907,7 @@ still exists and is updated silently.  @xref{Trail Commands}.
 In most installations, the @kbd{M-# c} key sequence is a more
 convenient way to start the Calculator.  Also, @kbd{M-# M-#} and
 @kbd{M-# #} are synonyms for @kbd{M-# c} unless you last used Calc
-in its ``keypad'' mode.
+in its Keypad mode.
 
 @kindex x
 @kindex M-x
@@ -9985,7 +9979,7 @@ the keys with the mouse to operate the calculator.  @xref{Keypad Mode}.
 @pindex calc-quit
 @cindex Quitting the Calculator
 @cindex Exiting the Calculator
-The @kbd{q} key (@code{calc-quit}) exits Calc Mode and closes the
+The @kbd{q} key (@code{calc-quit}) exits Calc mode and closes the
 Calculator's window(s).  It does not delete the Calculator buffers.
 If you type @kbd{M-x calc} again, the Calculator will reappear with the
 contents of the stack intact.  Typing @kbd{M-# c} or @kbd{M-# M-#}
@@ -10193,7 +10187,7 @@ The first three keystrokes ``push'' the numbers 1 and 2 onto the stack.  The
 @kbd{+} key always ``pops'' the top two numbers from the stack, adds them,
 and pushes the result (3) back onto the stack.  This number is ready for
 further calculations:  @kbd{5 -} pushes 5 onto the stack, then pops the
-3 and 5, subtracts them, and pushes the result (@i{-2}).
+3 and 5, subtracts them, and pushes the result (@mathit{-2}).
 
 Note that the ``top'' of the stack actually appears at the @emph{bottom}
 of the buffer.  A line containing a single @samp{.} character signifies
@@ -10256,7 +10250,7 @@ the two numbers on the top of the stack.  The @kbd{n} key changes the sign
 of the number on the top of the stack or the number currently being entered.
 The @kbd{_} key begins entry of a negative number or changes the sign of
 the number currently being entered.  The following sequences all enter the
-number @i{-5} onto the stack:  @kbd{0 @key{RET} 5 -}, @kbd{5 n @key{RET}},
+number @mathit{-5} onto the stack:  @kbd{0 @key{RET} 5 -}, @kbd{5 n @key{RET}},
 @kbd{5 @key{RET} n}, @kbd{_ 5 @key{RET}}, @kbd{5 _ @key{RET}}.
 
 Some other keys are active during numeric entry, such as @kbd{#} for
@@ -10277,7 +10271,7 @@ During numeric entry, the only editing key available is @key{DEL}.
 Calculations can also be entered in algebraic form.  This is accomplished
 by typing the apostrophe key, @kbd{'}, followed by the expression in
 standard format:  @kbd{@key{'} 2+3*4 @key{RET}} computes
-@texline @tmath{2+(3\times4) = 14}
+@texline @math{2+(3\times4) = 14}
 @infoline @expr{2+(3*4) = 14} 
 and pushes that on the stack.  If you wish you can
 ignore the RPN aspect of Calc altogether and simply enter algebraic
@@ -10285,7 +10279,7 @@ expressions in this way.  You may want to use @key{DEL} every so often to
 clear previous results off the stack.
 
 You can press the apostrophe key during normal numeric entry to switch
-the half-entered number into algebraic entry mode.  One reason to do this
+the half-entered number into Algebraic entry mode.  One reason to do this
 would be to use the full Emacs cursor motion and editing keys, which are
 available during algebraic entry but not during numeric entry.
 
@@ -10296,7 +10290,7 @@ you complete your half-finished entry in a separate buffer.
 
 @kindex m a
 @pindex calc-algebraic-mode
-@cindex Algebraic mode
+@cindex Algebraic Mode
 If you prefer algebraic entry, you can use the command @kbd{m a}
 (@code{calc-algebraic-mode}) to set Algebraic mode.  In this mode,
 digits and other keys that would normally start numeric entry instead
@@ -10307,7 +10301,7 @@ but you will have to press @key{RET} to terminate every number:
 @kbd{2 @key{RET} 3 @key{RET} * 4 @key{RET} +} would accomplish the same
 thing as @kbd{2*3+4 @key{RET}}.
 
-@cindex Incomplete algebraic mode
+@cindex Incomplete Algebraic Mode
 If you give a numeric prefix argument like @kbd{C-u} to the @kbd{m a}
 command, it enables Incomplete Algebraic mode; this is like regular
 Algebraic mode except that it applies to the @kbd{(} and @kbd{[} keys
@@ -10315,15 +10309,15 @@ only.  Numeric keys still begin a numeric entry in this mode.
 
 @kindex m t
 @pindex calc-total-algebraic-mode
-@cindex Total algebraic mode
+@cindex Total Algebraic Mode
 The @kbd{m t} (@code{calc-total-algebraic-mode}) gives you an even
 stronger algebraic-entry mode, in which @emph{all} regular letter and
 punctuation keys begin algebraic entry.  Use this if you prefer typing
 @w{@kbd{sqrt( )}} instead of @kbd{Q}, @w{@kbd{factor( )}} instead of
 @kbd{a f}, and so on.  To type regular Calc commands when you are in
-``total'' algebraic mode, hold down the @key{META} key.  Thus @kbd{M-q}
+Total Algebraic mode, hold down the @key{META} key.  Thus @kbd{M-q}
 is the command to quit Calc, @kbd{M-p} sets the precision, and
-@kbd{M-m t} (or @kbd{M-m M-t}, if you prefer) turns total algebraic
+@kbd{M-m t} (or @kbd{M-m M-t}, if you prefer) turns Total Algebraic
 mode back off again.  Meta keys also terminate algebraic entry, so
 that @kbd{2+3 M-S} is equivalent to @kbd{2+3 @key{RET} M-S}.  The symbol
 @samp{Alg*} will appear in the mode line whenever you are in this mode.
@@ -10584,7 +10578,7 @@ that you must always press @kbd{w} yourself to see the messages).
 
 @noindent
 @pindex another-calc
-It is possible to have any number of Calc Mode buffers at once.
+It is possible to have any number of Calc mode buffers at once.
 Usually this is done by executing @kbd{M-x another-calc}, which
 is similar to @kbd{M-# c} except that if a @samp{*Calculator*}
 buffer already exists, a new, independent one with a name of the
@@ -10687,7 +10681,7 @@ approximation.  This value will not need to be recomputed ever again
 unless you raise the precision still further.  Many operations such as
 logarithms and sines make use of similarly cached values such as
 @cpiover{4} and 
-@texline @tmath{\ln 2}.
+@texline @math{\ln 2}.
 @infoline @expr{ln(2)}.  
 The visible effect of caching is that
 high-precision computations may seem to do extra work the first time.
@@ -10799,7 +10793,7 @@ The Calculator stores integers to arbitrary precision.  Addition,
 subtraction, and multiplication of integers always yields an exact
 integer result.  (If the result of a division or exponentiation of
 integers is not an integer, it is expressed in fractional or
-floating-point form according to the current Fraction Mode.
+floating-point form according to the current Fraction mode.
 @xref{Fraction Mode}.)
 
 A decimal integer is represented as an optional sign followed by a
@@ -10825,7 +10819,7 @@ A @dfn{fraction} is a ratio of two integers.  Fractions are traditionally
 written ``2/3'' but Calc uses the notation @samp{2:3}.  (The @kbd{/} key
 performs RPN division; the following two sequences push the number
 @samp{2:3} on the stack:  @kbd{2 :@: 3 @key{RET}}, or @kbd{2 @key{RET} 3 /}
-assuming Fraction Mode has been enabled.)
+assuming Fraction mode has been enabled.)
 When the Calculator produces a fractional result it always reduces it to
 simplest form, which may in fact be an integer.
 
@@ -10846,10 +10840,10 @@ A floating-point number or @dfn{float} is a number stored in scientific
 notation.  The number of significant digits in the fractional part is
 governed by the current floating precision (@pxref{Precision}).  The
 range of acceptable values is from 
-@texline @tmath{10^{-3999999}}
+@texline @math{10^{-3999999}}
 @infoline @expr{10^-3999999} 
 (inclusive) to 
-@texline @tmath{10^{4000000}}
+@texline @math{10^{4000000}}
 @infoline @expr{10^4000000}
 (exclusive), plus the corresponding negative values and zero.
 
@@ -10921,16 +10915,16 @@ Rectangular complex numbers can also be displayed in @samp{@var{a}+@var{b}i}
 notation; @pxref{Complex Formats}.
 
 Polar complex numbers are displayed in the form 
-@texline `@t{(}@var{r}@t{;}@tmath{\theta}@t{)}'
+@texline `@t{(}@var{r}@t{;}@math{\theta}@t{)}'
 @infoline `@t{(}@var{r}@t{;}@var{theta}@t{)}'
 where @var{r} is the nonnegative magnitude and 
-@texline @tmath{\theta}
+@texline @math{\theta}
 @infoline @var{theta} 
 is the argument or phase angle.  The range of 
-@texline @tmath{\theta}
+@texline @math{\theta}
 @infoline @var{theta} 
 depends on the current angular mode (@pxref{Angular Modes}); it is
-generally between @i{-180} and @i{+180} degrees or the equivalent range
+generally between @mathit{-180} and @mathit{+180} degrees or the equivalent range
 in radians. 
 
 Complex numbers are entered in stages using incomplete objects.
@@ -10939,7 +10933,7 @@ Complex numbers are entered in stages using incomplete objects.
 Operations on rectangular complex numbers yield rectangular complex
 results, and similarly for polar complex numbers.  Where the two types
 are mixed, or where new complex numbers arise (as for the square root of
-a negative real), the current @dfn{Polar Mode} is used to determine the
+a negative real), the current @dfn{Polar mode} is used to determine the
 type.  @xref{Polar Mode}.
 
 A complex result in which the imaginary part is zero (or the phase angle
@@ -10973,7 +10967,7 @@ larger, becomes arbitrarily close to zero.  So you can imagine
 that if @expr{x} got ``all the way to infinity,'' then @expr{1 / x}
 would go all the way to zero.  Similarly, when they say that
 @samp{exp(inf) = inf}, they mean that 
-@texline @tmath{e^x}
+@texline @math{e^x}
 @infoline @expr{exp(x)} 
 grows without bound as @expr{x} grows.  The symbol @samp{-inf} likewise
 stands for an infinitely negative real value; for example, we say that
@@ -11027,7 +11021,7 @@ infinity, it's just that @emph{which} number it stands for
 cannot be determined.)  In Calc's notation, @samp{0 * inf = nan}
 and @samp{inf / inf = nan}.  A few other common indeterminate
 expressions are @samp{inf - inf} and @samp{inf ^ 0}.  Also,
-@samp{0 / 0 = nan} if you have turned on ``infinite mode''
+@samp{0 / 0 = nan} if you have turned on Infinite mode
 (as described above).
 
 Infinities are especially useful as parts of @dfn{intervals}.
@@ -11070,7 +11064,7 @@ of its elements.
 @tindex vec
 Algebraic functions for building vectors include @samp{vec(a, b, c)}
 to build @samp{[a, b, c]}, @samp{cvec(a, n, m)} to build an 
-@texline @tmath{n\times m}
+@texline @math{n\times m}
 @infoline @var{n}x@var{m}
 matrix of @samp{a}s, and @samp{index(n)} to build a vector of integers
 from 1 to @samp{n}.
@@ -11201,7 +11195,7 @@ The @var{mins} value is an integer or integer-valued float between 0 and 59.
 The @var{secs} value is a real number between 0 (inclusive) and 60
 (exclusive).  A positive HMS form is interpreted as @var{hours} +
 @var{mins}/60 + @var{secs}/3600.  A negative HMS form is interpreted
-as @i{- @var{hours}} @i{-} @var{mins}/60 @i{-} @var{secs}/3600.
+as @mathit{- @var{hours}} @mathit{-} @var{mins}/60 @mathit{-} @var{secs}/3600.
 Display format for HMS forms is quite flexible.  @xref{HMS Formats}.
 
 HMS forms can be added and subtracted.  When they are added to numbers,
@@ -11295,12 +11289,12 @@ between, say, @samp{<12:00am Mon Jan 1, 1900>} and
 
 Calc uses the Julian calendar for all dates before the year 1752,
 including dates BC when the Julian calendar technically had not
-yet been invented.  Thus the claim that day number @i{-10000} is
+yet been invented.  Thus the claim that day number @mathit{-10000} is
 called ``August 16, 28 BC'' should be taken with a grain of salt.
 
 Please note that there is no ``year 0''; the day before
 @samp{<Sat Jan 1, +1>} is @samp{<Fri Dec 31, -1>}.  These are
-days 0 and @i{-1} respectively in Calc's internal numbering scheme.
+days 0 and @mathit{-1} respectively in Calc's internal numbering scheme.
 
 @cindex Julian day counting
 Another day counting system in common use is, confusingly, also
@@ -11308,7 +11302,7 @@ called ``Julian.''  It was invented in 1583 by Joseph Justus
 Scaliger, who named it in honor of his father Julius Caesar
 Scaliger.  For obscure reasons he chose to start his day
 numbering on Jan 1, 4713 BC at noon, which in Calc's scheme
-is @i{-1721423.5} (recall that Calc starts at midnight instead
+is @mathit{-1721423.5} (recall that Calc starts at midnight instead
 of noon).  Thus to convert a Calc date code obtained by
 unpacking a date form into a Julian day number, simply add
 1721423.5.  The Julian code for @samp{6:00am Jan 9, 1991}
@@ -11341,7 +11335,7 @@ an integer multiple of) some value @var{M}.  Arithmetic modulo @var{M}
 often arises in number theory.  Modulo forms are written
 `@var{a} @t{mod} @var{M}',
 where @var{a} and @var{M} are real numbers or HMS forms, and
-@texline @tmath{0 \le a < M}.
+@texline @math{0 \le a < M}.
 @infoline @expr{0 <= a < @var{M}}.
 In many applications @expr{a} and @expr{M} will be
 integers but this is not required.
@@ -11373,7 +11367,7 @@ division is left in symbolic form.  Other operations, such as square
 roots, are not yet supported for modulo forms.  (Note that, although
 @w{`@t{(}@var{a} @t{mod} @var{M}@t{)^.5}'} will compute a ``modulo square root''
 in the sense of reducing 
-@texline @tmath{\sqrt a}
+@texline @math{\sqrt a}
 @infoline @expr{sqrt(a)} 
 modulo @expr{M}, this is not a useful definition from the
 number-theoretical point of view.)
@@ -11423,12 +11417,12 @@ The algebraic function @samp{makemod(a, m)} builds the modulo form
 @cindex Standard deviations
 An @dfn{error form} is a number with an associated standard
 deviation, as in @samp{2.3 +/- 0.12}.  The notation
-@texline `@var{x} @t{+/-} @tmath{\sigma}' 
+@texline `@var{x} @t{+/-} @math{\sigma}' 
 @infoline `@var{x} @t{+/-} sigma' 
 stands for an uncertain value which follows
 a normal or Gaussian distribution of mean @expr{x} and standard
 deviation or ``error'' 
-@texline @tmath{\sigma}.
+@texline @math{\sigma}.
 @infoline @expr{sigma}.
 Both the mean and the error can be either numbers or
 formulas.  Generally these are real numbers but the mean may also be
@@ -11439,7 +11433,7 @@ regular number by the Calculator.
 All arithmetic and transcendental functions accept error forms as input.
 Operations on the mean-value part work just like operations on regular
 numbers.  The error part for any function @expr{f(x)} (such as 
-@texline @tmath{\sin x}
+@texline @math{\sin x}
 @infoline @expr{sin(x)})
 is defined by the error of @expr{x} times the derivative of @expr{f}
 evaluated at the mean value of @expr{x}.  For a two-argument function
@@ -11470,34 +11464,34 @@ Consult a good text on error analysis for a discussion of the proper use
 of standard deviations.  Actual errors often are neither Gaussian-distributed
 nor uncorrelated, and the above formulas are valid only when errors
 are small.  As an example, the error arising from
-@texline `@t{sin(}@var{x} @t{+/-} @tmath{\sigma}@t{)}' 
+@texline `@t{sin(}@var{x} @t{+/-} @math{\sigma}@t{)}' 
 @infoline `@t{sin(}@var{x} @t{+/-} @var{sigma}@t{)}' 
 is 
-@texline `@tmath{\sigma} @t{abs(cos(}@var{x}@t{))}'.  
+@texline `@math{\sigma} @t{abs(cos(}@var{x}@t{))}'.  
 @infoline `@var{sigma} @t{abs(cos(}@var{x}@t{))}'.  
 When @expr{x} is close to zero,
-@texline @tmath{\cos x}
+@texline @math{\cos x}
 @infoline @expr{cos(x)} 
 is close to one so the error in the sine is close to 
-@texline @tmath{\sigma};
+@texline @math{\sigma};
 @infoline @expr{sigma};
 this makes sense, since 
-@texline @tmath{\sin x}
+@texline @math{\sin x}
 @infoline @expr{sin(x)} 
 is approximately @expr{x} near zero, so a given error in @expr{x} will
 produce about the same error in the sine.  Likewise, near 90 degrees
-@texline @tmath{\cos x}
+@texline @math{\cos x}
 @infoline @expr{cos(x)} 
 is nearly zero and so the computed error is
 small:  The sine curve is nearly flat in that region, so an error in @expr{x}
 has relatively little effect on the value of 
-@texline @tmath{\sin x}.
+@texline @math{\sin x}.
 @infoline @expr{sin(x)}.  
 However, consider @samp{sin(90 +/- 1000)}.  The cosine of 90 is zero, so
 Calc will report zero error!  We get an obviously wrong result because
 we have violated the small-error approximation underlying the error
 analysis.  If the error in @expr{x} had been small, the error in
-@texline @tmath{\sin x}
+@texline @math{\sin x}
 @infoline @expr{sin(x)} 
 would indeed have been negligible.
 
@@ -11593,10 +11587,10 @@ rather than @samp{1 ..@: 0.1e2}.  Add spaces or zeros if you want to
 get the other interpretation.  If you omit the lower or upper limit,
 a default of @samp{-inf} or @samp{inf} (respectively) is furnished.
 
-``Infinite mode'' also affects operations on intervals
+Infinite mode also affects operations on intervals
 (@pxref{Infinities}).  Calc will always introduce an open infinity,
 as in @samp{1 / (0 .. 2] = [0.5 .. inf)}.  But closed infinities,
-@w{@samp{1 / [0 .. 2] = [0.5 .. inf]}}, arise only in infinite mode;
+@w{@samp{1 / [0 .. 2] = [0.5 .. inf]}}, arise only in Infinite mode;
 otherwise they are left unevaluated.  Note that the ``direction'' of
 a zero is not an issue in this case since the zero is always assumed
 to be continuous with the rest of the interval.  For intervals that
@@ -11606,11 +11600,11 @@ contain zero inside them Calc is forced to give the result,
 While it may seem that intervals and error forms are similar, they are
 based on entirely different concepts of inexact quantities.  An error
 form 
-@texline `@var{x} @t{+/-} @tmath{\sigma}' 
+@texline `@var{x} @t{+/-} @math{\sigma}' 
 @infoline `@var{x} @t{+/-} @var{sigma}' 
 means a variable is random, and its value could
 be anything but is ``probably'' within one 
-@texline @tmath{\sigma} 
+@texline @math{\sigma} 
 @infoline @var{sigma} 
 of the mean value @expr{x}. An interval 
 `@t{[}@var{a} @t{..@:} @var{b}@t{]}' means a
@@ -11844,7 +11838,7 @@ the C-style ``if'' operator @samp{a?b:c} [@code{if}];
 
 Note that, unlike in usual computer notation, multiplication binds more
 strongly than division:  @samp{a*b/c*d} is equivalent to 
-@texline @tmath{a b \over c d}.
+@texline @math{a b \over c d}.
 @infoline @expr{(a*b)/(c*d)}.
 
 @cindex Multiplication, implicit
@@ -11911,7 +11905,7 @@ Commands that interpret (``parse'') text as algebraic formulas include
 algebraic entry (@kbd{'}), editing commands like @kbd{`} which parse
 the contents of the editing buffer when you finish, the @kbd{M-# g}
 and @w{@kbd{M-# r}} commands, the @kbd{C-y} command, the X window system
-``paste'' mouse operation, and Embedded Mode.  All of these operations
+``paste'' mouse operation, and Embedded mode.  All of these operations
 use the same rules for parsing formulas; in particular, language modes
 (@pxref{Language Modes}) affect them all in the same way.
 
@@ -12042,11 +12036,11 @@ intervening stack elements toward the top.  @kbd{M-@key{TAB}} moves the
 element at level @var{n} up to the top.  (Compare with @key{LFD},
 which copies instead of moving the element in level @var{n}.)
 
-With a negative argument @i{-@var{n}}, @key{TAB} rotates the stack
+With a negative argument @mathit{-@var{n}}, @key{TAB} rotates the stack
 to move the object in level @var{n} to the deepest place in the
-stack, and the object in level @i{@var{n}+1} to the top.  @kbd{M-@key{TAB}}
-rotates the deepest stack element to be in level @i{n}, also
-putting the top stack element in level @i{@var{n}+1}.
+stack, and the object in level @mathit{@var{n}+1} to the top.  @kbd{M-@key{TAB}}
+rotates the deepest stack element to be in level @mathit{n}, also
+putting the top stack element in level @mathit{@var{n}+1}.
 
 @xref{Selecting Subformulas}, for a way to apply these commands to
 any portion of a vector or formula on the stack.
@@ -12320,7 +12314,7 @@ Otherwise, the new mode information is appended to the end of the file.
 @pindex calc-mode-record-mode
 The @kbd{m R} (@code{calc-mode-record-mode}) command tells Calc to
 record the new mode settings (as if by pressing @kbd{m m}) every
-time a mode setting changes.  If Embedded Mode is enabled, other
+time a mode setting changes.  If Embedded mode is enabled, other
 options are available; @pxref{Mode Settings in Embedded Mode}.
 
 @kindex m F
@@ -12341,8 +12335,8 @@ inside it, @kbd{m F} will not automatically load the new file.  This
 is because you are presumably switching to your @file{~/.emacs} file,
 which may contain other things you don't want to reread.  You can give
 a numeric prefix argument of 1 to @kbd{m F} to force it to read the
-file no matter what its name.  Conversely, an argument of @i{-1} tells
-@kbd{m F} @emph{not} to read the new file.  An argument of 2 or @i{-2}
+file no matter what its name.  Conversely, an argument of @mathit{-1} tells
+@kbd{m F} @emph{not} to read the new file.  An argument of 2 or @mathit{-2}
 tells @kbd{m F} not to reset the modes to their defaults beforehand,
 which is useful if you intend your new file to have a variant of the
 modes present in the file you were using before.
@@ -12447,7 +12441,7 @@ Hyperbolic Flag, which transforms @code{calc-sin} into @code{calc-sinh}.
 If both of these flags are set at once, the effect will be
 @code{calc-arcsinh}.  (The Hyperbolic flag is also used by some
 non-trigonometric commands; for example @kbd{H L} computes a base-10,
-instead of base-@i{e}, logarithm.)
+instead of base-@mathit{e}, logarithm.)
 
 Command names like @code{calc-arcsin} are provided for completeness, and
 may be executed with @kbd{x} or @kbd{M-x}.  Their effect is simply to
@@ -12501,7 +12495,7 @@ Functions that compute angles produce a number in radians, a number in
 degrees, or an HMS form depending on the current angular mode.  If the
 result is a complex number and the current mode is HMS, the number is
 instead expressed in degrees.  (Complex-number calculations would
-normally be done in radians mode, though.  Complex numbers are converted
+normally be done in Radians mode, though.  Complex numbers are converted
 to degrees by calculating the complex result in radians and then
 multiplying by 180 over @cpi{}.)
 
@@ -12514,7 +12508,7 @@ multiplying by 180 over @cpi{}.)
 The @kbd{m r} (@code{calc-radians-mode}), @kbd{m d} (@code{calc-degrees-mode}),
 and @kbd{m h} (@code{calc-hms-mode}) commands control the angular mode.
 The current angular mode is displayed on the Emacs mode line.
-The default angular mode is degrees.
+The default angular mode is Degrees.
 
 @node Polar Mode, Fraction Mode, Angular Modes, Calculation Modes
 @subsection Polar Mode
@@ -12530,7 +12524,7 @@ number, or by entering @kbd{( 2 @key{SPC} 3 )}.
 @kindex m p
 @pindex calc-polar-mode
 The @kbd{m p} (@code{calc-polar-mode}) command toggles complex-number
-preference between rectangular and polar forms.  In polar mode, all
+preference between rectangular and polar forms.  In Polar mode, all
 of the above example situations would produce polar complex numbers.
 
 @node Fraction Mode, Infinite Mode, Polar Mode, Calculation Modes
@@ -12550,8 +12544,8 @@ even though @kbd{6 @key{RET} 4 /} produces @expr{1.5}.
 To set the Calculator to produce fractional results for normal integer
 divisions, use the @kbd{m f} (@code{calc-frac-mode}) command.
 For example, @expr{8/4} produces @expr{2} in either mode,
-but @expr{6/4} produces @expr{3:2} in Fraction Mode, @expr{1.5} in
-Float Mode.
+but @expr{6/4} produces @expr{3:2} in Fraction mode, @expr{1.5} in
+Float mode.
 
 At any time you can use @kbd{c f} (@code{calc-float}) to convert a
 fraction to a float, or @kbd{c F} (@code{calc-fraction}) to convert a
@@ -12574,25 +12568,25 @@ on and off.  When the mode is off, infinities do not arise except
 in calculations that already had infinities as inputs.  (One exception
 is that infinite open intervals like @samp{[0 .. inf)} can be
 generated; however, intervals closed at infinity (@samp{[0 .. inf]})
-will not be generated when infinite mode is off.)
+will not be generated when Infinite mode is off.)
 
-With infinite mode turned on, @samp{1 / 0} will generate @code{uinf},
+With Infinite mode turned on, @samp{1 / 0} will generate @code{uinf},
 an undirected infinity.  @xref{Infinities}, for a discussion of the
 difference between @code{inf} and @code{uinf}.  Also, @expr{0 / 0}
 evaluates to @code{nan}, the ``indeterminate'' symbol.  Various other
 functions can also return infinities in this mode; for example,
 @samp{ln(0) = -inf}, and @samp{gamma(-7) = uinf}.  Once again,
-note that @samp{exp(inf) = inf} regardless of infinite mode because
+note that @samp{exp(inf) = inf} regardless of Infinite mode because
 this calculation has infinity as an input.
 
-@cindex Positive infinite mode
+@cindex Positive Infinite mode
 The @kbd{m i} command with a numeric prefix argument of zero,
-i.e., @kbd{C-u 0 m i}, turns on a ``positive infinite mode'' in
+i.e., @kbd{C-u 0 m i}, turns on a Positive Infinite mode in
 which zero is treated as positive instead of being directionless.
 Thus, @samp{1 / 0 = inf} and @samp{-1 / 0 = -inf} in this mode.
 Note that zero never actually has a sign in Calc; there are no
-separate representations for @i{+0} and @i{-0}.  Positive
-infinite mode merely changes the interpretation given to the
+separate representations for @mathit{+0} and @mathit{-0}.  Positive
+Infinite mode merely changes the interpretation given to the
 single symbol, @samp{0}.  One consequence of this is that, while
 you might expect @samp{1 / -0 = -inf}, actually @samp{1 / -0}
 is equivalent to @samp{1 / 0}, which is equal to positive @code{inf}.
@@ -12611,7 +12605,7 @@ number or a symbolic expression if the argument is an expression:
 
 @kindex m s
 @pindex calc-symbolic-mode
-In @dfn{symbolic mode}, controlled by the @kbd{m s} (@code{calc-symbolic-mode})
+In @dfn{Symbolic mode}, controlled by the @kbd{m s} (@code{calc-symbolic-mode})
 command, functions which would produce inexact, irrational results are
 left in symbolic form.  Thus @kbd{16 Q} pushes 4, but @kbd{2 Q} pushes
 @samp{sqrt(2)}.
@@ -12638,12 +12632,12 @@ variables.)
 @cindex Scalar mode
 Calc sometimes makes assumptions during algebraic manipulation that
 are awkward or incorrect when vectors and matrices are involved.
-Calc has two modes, @dfn{matrix mode} and @dfn{scalar mode}, which
+Calc has two modes, @dfn{Matrix mode} and @dfn{Scalar mode}, which
 modify its behavior around vectors in useful ways.
 
 @kindex m v
 @pindex calc-matrix-mode
-Press @kbd{m v} (@code{calc-matrix-mode}) once to enter matrix mode.
+Press @kbd{m v} (@code{calc-matrix-mode}) once to enter Matrix mode.
 In this mode, all objects are assumed to be matrices unless provably
 otherwise.  One major effect is that Calc will no longer consider
 multiplication to be commutative.  (Recall that in matrix arithmetic,
@@ -12662,18 +12656,18 @@ a true identity matrix of the appropriate size.  On the other hand,
 if it is combined with a scalar (as in @samp{idn(1) + 2}), Calc
 will assume it really was a scalar after all and produce, e.g., 3.
 
-Press @kbd{m v} a second time to get scalar mode.  Here, objects are
+Press @kbd{m v} a second time to get Scalar mode.  Here, objects are
 assumed @emph{not} to be vectors or matrices unless provably so.
 For example, normally adding a variable to a vector, as in
 @samp{[x, y, z] + a}, will leave the sum in symbolic form because
 as far as Calc knows, @samp{a} could represent either a number or
-another 3-vector.  In scalar mode, @samp{a} is assumed to be a
+another 3-vector.  In Scalar mode, @samp{a} is assumed to be a
 non-vector, and the addition is evaluated to @samp{[x+a, y+a, z+a]}.
 
 Press @kbd{m v} a third time to return to the normal mode of operation.
 
 If you press @kbd{m v} with a numeric prefix argument @var{n}, you
-get a special ``dimensioned matrix mode'' in which matrices of
+get a special ``dimensioned'' Matrix mode in which matrices of
 unknown size are assumed to be @var{n}x@var{n} square matrices.
 Then, the function call @samp{idn(1)} will expand into an actual
 matrix rather than representing a ``generic'' matrix.
@@ -12694,11 +12688,11 @@ for @samp{[x, y, z] + [1, 2, 3]}, but that's because you have broken
 your earlier promise to Calc that @samp{a} would be scalar.
 
 Another way to mix scalars and matrices is to use selections
-(@pxref{Selecting Subformulas}).  Use matrix mode when operating on
-your formula normally; then, to apply scalar mode to a certain part
+(@pxref{Selecting Subformulas}).  Use Matrix mode when operating on
+your formula normally; then, to apply Scalar mode to a certain part
 of the formula without affecting the rest just select that part,
-change into scalar mode and press @kbd{=} to resimplify the part
-under this mode, then change back to matrix mode before deselecting.
+change into Scalar mode and press @kbd{=} to resimplify the part
+under this mode, then change back to Matrix mode before deselecting.
 
 @node Automatic Recomputation, Working Message, Matrix Mode, Calculation Modes
 @subsection Automatic Recomputation
@@ -12714,7 +12708,7 @@ are changed.  @xref{Evaluates-To Operator}.
 The @kbd{m C} (@code{calc-auto-recompute}) command turns this
 automatic recomputation on and off.  If you turn it off, Calc will
 not update @samp{=>} operators on the stack (nor those in the
-attached Embedded Mode buffer, if there is one).  They will not
+attached Embedded mode buffer, if there is one).  They will not
 be updated unless you explicitly do so by pressing @kbd{=} or until
 you press @kbd{m C} to turn recomputation back on.  (While automatic
 recomputation is off, you can think of @kbd{m C m C} as a command
@@ -12835,7 +12829,7 @@ A common technique is to set the simplification mode down to the lowest
 amount of simplification you will allow to be applied automatically, then
 use manual commands like @kbd{a s} and @kbd{c c} (@code{calc-clean}) to
 perform higher types of simplifications on demand.  @xref{Algebraic
-Definitions}, for another sample use of no-simplification mode.
+Definitions}, for another sample use of No-Simplification mode.
 
 @node Declarations, Display Modes, Simplification Modes, Mode Settings
 @section Declarations
@@ -12982,7 +12976,7 @@ Numbers.  (Real or complex.)
 Calc uses this information to determine when certain simplifications
 of formulas are safe.  For example, @samp{(x^y)^z} cannot be
 simplified to @samp{x^(y z)} in general; for example,
-@samp{((-3)^2)^1:2} is 3, but @samp{(-3)^(2*1:2) = (-3)^1} is @i{-3}.
+@samp{((-3)^2)^1:2} is 3, but @samp{(-3)^(2*1:2) = (-3)^1} is @mathit{-3}.
 However, this simplification @emph{is} safe if @code{z} is known
 to be an integer, or if @code{x} is known to be a nonnegative
 real number.  If you have given declarations that allow Calc to
@@ -13082,8 +13076,8 @@ and @code{y} are known to be vectors or matrices.  (Calc currently
 never distinguishes between @code{vector} and @code{matrix}
 declarations.)
 
-@xref{Matrix Mode}, for a discussion of ``matrix mode'' and
-``scalar mode,'' which are similar to declaring @samp{[All, matrix]}
+@xref{Matrix Mode}, for a discussion of Matrix mode and
+Scalar mode, which are similar to declaring @samp{[All, matrix]}
 or @samp{[All, scalar]} but much more convenient.
 
 One more type symbol that is recognized is used with the @kbd{H a d}
@@ -13095,7 +13089,7 @@ The value is a constant with respect to other variables.
 @end table
 
 Calc does not check the declarations for a variable when you store
-a value in it.  However, storing @i{-3.5} in a variable that has
+a value in it.  However, storing @mathit{-3.5} in a variable that has
 been declared @code{pos}, @code{int}, or @code{matrix} may have
 unexpected effects; Calc may evaluate @samp{sqrt(x^2)} to @expr{3.5}
 if it substitutes the value first, or to @expr{-3.5} if @code{x}
@@ -13235,8 +13229,8 @@ remains unevaluated.
 @tindex dscalar
 The @code{dscalar} function returns 1 if its argument is provably
 scalar, or 0 if its argument is provably non-scalar.  It is left
-unevaluated if this cannot be determined.  (If matrix mode or scalar
-mode are in effect, this function returns 1 or 0, respectively,
+unevaluated if this cannot be determined.  (If Matrix mode or Scalar
+mode is in effect, this function returns 1 or 0, respectively,
 if it has no other information.)  When Calc interprets a condition
 (say, in a rewrite rule) it considers an unevaluated formula to be
 ``false.''  Thus, @samp{dscalar(a)} is ``true'' only if @code{a} is
@@ -13330,7 +13324,7 @@ command causes integers to be padded out with leading zeros according to the
 current binary word size.  (@xref{Binary Functions}, for a discussion of
 word size.)  If the absolute value of the word size is @expr{w}, all integers
 are displayed with at least enough digits to represent 
-@texline @tmath{2^w-1}
+@texline @math{2^w-1}
 @infoline @expr{(2^w)-1} 
 in the current radix.  (Larger integers will still be displayed in their
 entirety.) 
@@ -13345,7 +13339,7 @@ entirety.)
 @cindex Digit grouping
 Long numbers can be hard to read if they have too many digits.  For
 example, the factorial of 30 is 33 digits long!  Press @kbd{d g}
-(@code{calc-group-digits}) to enable @dfn{grouping} mode, in which digits
+(@code{calc-group-digits}) to enable @dfn{Grouping} mode, in which digits
 are displayed in clumps of 3 or 4 (depending on the current radix)
 separated by commas.
 
@@ -13891,7 +13885,7 @@ line at a time (or several lines with a prefix argument).
 Values on the stack are normally left-justified in the window.  You can
 control this arrangement by typing @kbd{d <} (@code{calc-left-justify}),
 @kbd{d >} (@code{calc-right-justify}), or @kbd{d =}
-(@code{calc-center-justify}).  For example, in right-justification mode,
+(@code{calc-center-justify}).  For example, in Right-Justification mode,
 stack entries are displayed flush-right against the right edge of the
 window.
 
@@ -13912,20 +13906,20 @@ breaking lines are given below.  Notice that the interaction between
 origin and line width is slightly different in each justification
 mode.
 
-In left-justified mode, the line is indented by a number of spaces
+In Left-Justified mode, the line is indented by a number of spaces
 given by the origin (default zero).  If the result is longer than the
 maximum line width, if given, or too wide to fit in the Calc window
 otherwise, then it is broken into lines which will fit; each broken
 line is indented to the origin.
 
-In right-justified mode, lines are shifted right so that the rightmost
+In Right-Justified mode, lines are shifted right so that the rightmost
 character is just before the origin, or just before the current
 window width if no origin was specified.  If the line is too long
 for this, then it is broken; the current line width is used, if
 specified, or else the origin is used as a width if that is
 specified, or else the line is broken to fit in the window.
 
-In centering mode, the origin is the column number of the center of
+In Centering mode, the origin is the column number of the center of
 each stack entry.  If a line width is specified, lines will not be
 allowed to go past that width; Calc will either indent less or
 break the lines if necessary.  If no origin is specified, half the
@@ -13960,13 +13954,13 @@ Give a blank string (with @kbd{d @{ @key{RET}}) to turn the label off.
 The @kbd{d @}} (@code{calc-right-label}) command similarly adds a
 label on the righthand side.  It does not affect positioning of
 the stack entries unless they are right-justified.  Also, if both
-a line width and an origin are given in right-justified mode, the
+a line width and an origin are given in Right-Justified mode, the
 stack entry is justified to the origin and the righthand label is
 justified to the line width.
 
 One application of labels would be to add equation numbers to
 formulas you are manipulating in Calc and then copying into a
-document (possibly using Embedded Mode).  The equations would
+document (possibly using Embedded mode).  The equations would
 typically be centered, and the equation numbers would be on the
 left or right as you prefer.
 
@@ -14068,7 +14062,7 @@ such as powers, quotients, and square roots:
 @noindent
 in place of @samp{sqrt((a+1)/b + c^2)}.
 
-Subscripts like @samp{a_i} are displayed as actual subscripts in ``big''
+Subscripts like @samp{a_i} are displayed as actual subscripts in Big
 mode.  Double subscripts, @samp{a_i_j} (@samp{subscr(subscr(a, i), j)})
 are displayed as @samp{a} with subscripts separated by commas:
 @samp{i, j}.  They must still be entered in the usual underscore
@@ -14141,12 +14135,12 @@ In C mode, vectors and matrices use curly braces instead of brackets.
 Octal and hexadecimal values are written with leading @samp{0} or @samp{0x}
 rather than using the @samp{#} symbol.  Array subscripting is
 translated into @code{subscr} calls, so that @samp{a[i]} in C
-mode is the same as @samp{a_i} in normal mode.  Assignments
+mode is the same as @samp{a_i} in Normal mode.  Assignments
 turn into the @code{assign} function, which Calc normally displays
 using the @samp{:=} symbol.
 
 The variables @code{var-pi} and @code{var-e} would be displayed @samp{pi}
-and @samp{e} in normal mode, but in C mode they are displayed as
+and @samp{e} in Normal mode, but in C mode they are displayed as
 @samp{M_PI} and @samp{M_E}, corresponding to the names of constants
 typically provided in the @file{<math.h>} header.  Functions whose
 names are different in C are translated automatically for entry and
@@ -14188,7 +14182,7 @@ function!).
 
 Underscores are allowed in variable and function names in all of these
 language modes.  The underscore here is equivalent to the @samp{#} in
-normal mode, or to hyphens in the underlying Emacs Lisp variable names.
+Normal mode, or to hyphens in the underlying Emacs Lisp variable names.
 
 FORTRAN and Pascal modes normally do not adjust the case of letters in
 formulas.  Most built-in Calc names use lower-case letters.  If you use a
@@ -14231,10 +14225,10 @@ special names (like @code{\sin}) will use curly braces instead of
 parentheses for very simple arguments.  During input, curly braces and
 parentheses work equally well for grouping, but when the document is
 formatted the curly braces will be invisible.  Thus the printed result is
-@texline @tmath{\sin{2 x}}
+@texline @math{\sin{2 x}}
 @infoline @expr{sin 2x} 
 but 
-@texline @tmath{\sin(2 + x)}.
+@texline @math{\sin(2 + x)}.
 @infoline @expr{sin(2 + x)}.
 
 Function and variable names not treated specially by @TeX{} are simply
@@ -14830,7 +14824,7 @@ object.
 @tindex choriz
 The @code{choriz} function takes a vector of objects and composes
 them horizontally.  For example, @samp{choriz([17, a b/c, d])} formats
-as @w{@samp{17a b / cd}} in normal language mode, or as
+as @w{@samp{17a b / cd}} in Normal language mode, or as
 
 @example
 @group
@@ -15093,7 +15087,7 @@ then return a certain measurement of the composition as an integer.
 @tindex cwidth
 The @code{cwidth} function measures the width, in characters, of a
 composition.  For example, @samp{cwidth(a + b)} is 5, and
-@samp{cwidth(a / b)} is 5 in normal mode, 1 in Big mode, and 11 in
+@samp{cwidth(a / b)} is 5 in Normal mode, 1 in Big mode, and 11 in
 @TeX{} mode (for @samp{@{a \over b@}}).  The argument may involve
 the composition functions described in this section.
 
@@ -15269,7 +15263,7 @@ unrelated to the syntax tables described in the Emacs manual.)
 @pindex calc-edit-user-syntax
 The @kbd{Z S} (@code{calc-edit-user-syntax}) command edits the
 syntax table for the current language mode.  If you want your
-syntax to work in any language, define it in the normal language
+syntax to work in any language, define it in the Normal language
 mode.  Type @kbd{M-# M-#} to finish editing the syntax table, or
 @kbd{M-# x} to cancel the edit.  The @kbd{m m} command saves all
 the syntax tables along with the other mode settings;
@@ -15300,7 +15294,7 @@ zero or more expressions separated by commas, and @samp{)}.''
 A @dfn{syntax table} is a list of user-defined @dfn{syntax rules},
 which allow you to specify new patterns to define your own
 favorite input notations.  Calc's parser always checks the syntax
-table for the current language mode, then the table for the normal
+table for the current language mode, then the table for the Normal
 language mode, before it uses its built-in rules to parse an
 algebraic formula you have entered.  Each syntax rule should go on
 its own line; it consists of a @dfn{pattern}, a @samp{:=} symbol,
@@ -15655,7 +15649,7 @@ In this approach, we allow @samp{#2} to equal the whole expression
 @samp{i=1..10}.  Then, we use @code{matches} to break it apart into
 its components.  If the expression turns out not to match the pattern,
 the syntax rule will fail.  Note that @kbd{Z S} always uses Calc's
-normal language mode for editing expressions in syntax rules, so we
+Normal language mode for editing expressions in syntax rules, so we
 must use regular Calc notation for the interval @samp{[b..c]} that
 will correspond to the Maple mode interval @samp{1..10}.
 
@@ -15728,19 +15722,19 @@ Polar mode.  Value is 0 (rectangular) or 1 (polar); default is 0.
 Command is @kbd{m p}.
 
 @item
-Matrix/scalar mode.  Default value is @i{-1}.  Value is 0 for scalar
-mode, @i{-2} for matrix mode, or @var{N} for 
-@texline @tmath{N\times N}
+Matrix/Scalar mode.  Default value is @mathit{-1}.  Value is 0 for Scalar
+mode, @mathit{-2} for Matrix mode, or @var{N} for 
+@texline @math{N\times N}
 @infoline @var{N}x@var{N} 
-matrix mode.  Command is @kbd{m v}.
+Matrix mode.  Command is @kbd{m v}.
 
 @item
-Simplification mode.  Default is 1.  Value is @i{-1} for off (@kbd{m O}),
+Simplification mode.  Default is 1.  Value is @mathit{-1} for off (@kbd{m O}),
 0 for @kbd{m N}, 2 for @kbd{m B}, 3 for @kbd{m A}, 4 for @kbd{m E},
 or 5 for @w{@kbd{m U}}.  The @kbd{m D} command accepts these prefixes.
 
 @item
-Infinite mode.  Default is @i{-1} (off).  Value is 1 if the mode is on,
+Infinite mode.  Default is @mathit{-1} (off).  Value is 1 if the mode is on,
 or 0 if the mode is on with positive zeros.  Command is @kbd{m i}.
 @end enumerate
 
@@ -15767,7 +15761,7 @@ programming commands.  @xref{Conditionals in Macros}.)
 @cindex Mode line indicators
 This section is a summary of all symbols that can appear on the
 Calc mode line, the highlighted bar that appears under the Calc
-stack window (or under an editing window in Embedded Mode).
+stack window (or under an editing window in Embedded mode).
 
 The basic mode line format is:
 
@@ -15779,7 +15773,7 @@ The @samp{%%} is the Emacs symbol for ``read-only''; it shows that
 regular Emacs commands are not allowed to edit the stack buffer
 as if it were text.
 
-The word @samp{Calc:} changes to @samp{CalcEmbed:} if Embedded Mode
+The word @samp{Calc:} changes to @samp{CalcEmbed:} if Embedded mode
 is enabled.  The words after this describe the various Calc modes
 that are in effect.
 
@@ -15807,7 +15801,7 @@ Symbolic mode (@kbd{m s}; @pxref{Symbolic Mode}).
 Matrix mode (@kbd{m v}; @pxref{Matrix Mode}).
 
 @item Matrix@var{n}
-Dimensioned matrix mode (@kbd{C-u @var{n} m v}).
+Dimensioned Matrix mode (@kbd{C-u @var{n} m v}).
 
 @item Scalar
 Scalar mode (@kbd{m v}; @pxref{Matrix Mode}).
@@ -15822,7 +15816,7 @@ Fraction mode (@kbd{m f}; @pxref{Fraction Mode}).
 Infinite mode (@kbd{m i}; @pxref{Infinite Mode}).
 
 @item +Inf
-Positive infinite mode (@kbd{C-u 0 m i}).
+Positive Infinite mode (@kbd{C-u 0 m i}).
 
 @item NoSimp
 Default simplifications off (@kbd{m O}; @pxref{Simplification Modes}).
@@ -16030,14 +16024,14 @@ to every element of a vector.
 
 If either argument of @kbd{+} is a complex number, the result will in general
 be complex.  If one argument is in rectangular form and the other polar,
-the current Polar Mode determines the form of the result.  If Symbolic
-Mode is enabled, the sum may be left as a formula if the necessary
+the current Polar mode determines the form of the result.  If Symbolic
+mode is enabled, the sum may be left as a formula if the necessary
 conversions for polar addition are non-trivial.
 
 If both arguments of @kbd{+} are HMS forms, the forms are added according to
 the usual conventions of hours-minutes-seconds notation.  If one argument
 is an HMS form and the other is a number, that number is converted from
-degrees or radians (depending on the current Angular Mode) to HMS format
+degrees or radians (depending on the current Angular mode) to HMS format
 and then the two HMS forms are added.
 
 If one argument of @kbd{+} is a date form, the other can be either a
@@ -16081,7 +16075,7 @@ infinite in different directions the result is @code{nan}.
 @tindex -
 The @kbd{-} (@code{calc-minus}) command subtracts two values.  The top
 number on the stack is subtracted from the one behind it, so that the
-computation @kbd{5 @key{RET} 2 -} produces 3, not @i{-3}.  All options
+computation @kbd{5 @key{RET} 2 -} produces 3, not @mathit{-3}.  All options
 available for @kbd{+} are available for @kbd{-} as well.
 
 @kindex *
@@ -16189,7 +16183,7 @@ must be positive real number.
 @tindex fdiv
 The @kbd{:} (@code{calc-fdiv}) command [@code{fdiv} function in a formula]
 divides the two integers on the top of the stack to produce a fractional
-result.  This is a convenient shorthand for enabling Fraction Mode (with
+result.  This is a convenient shorthand for enabling Fraction mode (with
 @kbd{m f}) temporarily and using @samp{/}.  Note that during numeric entry
 the @kbd{:} key is interpreted as a fraction separator, so to divide 8 by 6
 you would have to type @kbd{8 @key{RET} 6 @key{RET} :}.  (Of course, in
@@ -16225,7 +16219,7 @@ absolute value squared of a number, vector or matrix, or error form.
 @pindex calc-sign
 @tindex sign
 The @kbd{f s} (@code{calc-sign}) [@code{sign}] command returns 1 if its
-argument is positive, @i{-1} if its argument is negative, or 0 if its
+argument is positive, @mathit{-1} if its argument is negative, or 0 if its
 argument is zero.  In algebraic form, you can also write @samp{sign(a,x)}
 which evaluates to @samp{x * sign(a)}, i.e., either @samp{x}, @samp{-x}, or
 zero depending on the sign of @samp{a}.
@@ -16243,7 +16237,7 @@ matrix, it computes the inverse of that matrix.
 @tindex sqrt
 The @kbd{Q} (@code{calc-sqrt}) [@code{sqrt}] command computes the square
 root of a number.  For a negative real argument, the result will be a
-complex number whose form is determined by the current Polar Mode.
+complex number whose form is determined by the current Polar mode.
 
 @kindex f h
 @pindex calc-hypot
@@ -16288,7 +16282,7 @@ The @kbd{f M} (@code{calc-mant-part}) [@code{mant}] function extracts
 the ``mantissa'' part @expr{m} of its floating-point argument; @kbd{f X}
 (@code{calc-xpon-part}) [@code{xpon}] extracts the ``exponent'' part
 @expr{e}.  The original number is equal to 
-@texline @tmath{m \times 10^e},
+@texline @math{m \times 10^e},
 @infoline @expr{m * 10^e},
 where @expr{m} is in the interval @samp{[1.0 ..@: 10.0)} except that
 @expr{m=e=0} if the original number is zero.  For integers
@@ -16305,7 +16299,7 @@ The @kbd{f S} (@code{calc-scale-float}) [@code{scf}] function scales a number
 by a given power of ten.  Thus, @samp{scf(mant(x), xpon(x)) = x} for any
 real @samp{x}.  The second argument must be an integer, but the first
 may actually be any numeric value.  For example, @samp{scf(5,-2) = 0.05}
-or @samp{1:20} depending on the current Fraction Mode.
+or @samp{1:20} depending on the current Fraction mode.
 
 @kindex f [
 @kindex f ]
@@ -16321,7 +16315,7 @@ For example, incrementing @samp{12.3456} when the current precision
 is 6 digits yields @samp{12.3457}.  If the current precision had been
 8 digits, the result would have been @samp{12.345601}.  Incrementing
 @samp{0.0} produces 
-@texline @tmath{10^{-p}},
+@texline @math{10^{-p}},
 @infoline @expr{10^-p}, 
 where @expr{p} is the current
 precision.  These operations are defined only on integers and floats.
@@ -16362,7 +16356,7 @@ expressed as an integer-valued floating-point number.
 The @kbd{F} (@code{calc-floor}) [@code{floor} or @code{ffloor}] command
 truncates a real number to the next lower integer, i.e., toward minus
 infinity.  Thus @kbd{3.6 F} produces 3, but @kbd{_3.6 F} produces
-@i{-4}.
+@mathit{-4}.
 
 @kindex I F
 @pindex calc-ceiling
@@ -16374,7 +16368,7 @@ infinity.  Thus @kbd{3.6 F} produces 3, but @kbd{_3.6 F} produces
 @kindex H I F
 The @kbd{I F} (@code{calc-ceiling}) [@code{ceil} or @code{fceil}]
 command truncates toward positive infinity.  Thus @kbd{3.6 I F} produces
-4, and @kbd{_3.6 I F} produces @i{-3}.
+4, and @kbd{_3.6 I F} produces @mathit{-3}.
 
 @kindex R
 @pindex calc-round
@@ -16388,7 +16382,7 @@ The @kbd{R} (@code{calc-round}) [@code{round} or @code{fround}] command
 rounds to the nearest integer.  When the fractional part is .5 exactly,
 this command rounds away from zero.  (All other rounding in the
 Calculator uses this convention as well.)  Thus @kbd{3.5 R} produces 4
-but @kbd{3.4 R} produces 3; @kbd{_3.5 R} produces @i{-4}.
+but @kbd{3.4 R} produces 3; @kbd{_3.5 R} produces @mathit{-4}.
 
 @kindex I R
 @pindex calc-trunc
@@ -16401,7 +16395,7 @@ but @kbd{3.4 R} produces 3; @kbd{_3.5 R} produces @i{-4}.
 The @kbd{I R} (@code{calc-trunc}) [@code{trunc} or @code{ftrunc}]
 command truncates toward zero.  In other words, it ``chops off''
 everything after the decimal point.  Thus @kbd{3.6 I R} produces 3 and
-@kbd{_3.6 I R} produces @i{-3}.
+@kbd{_3.6 I R} produces @mathit{-3}.
 
 These functions may not be applied meaningfully to error forms, but they
 do work for intervals.  As a convenience, applying @code{floor} to a
@@ -16479,17 +16473,17 @@ this command replaces each element by its complex conjugate.
 The @kbd{G} (@code{calc-argument}) [@code{arg}] command computes the
 ``argument'' or polar angle of a complex number.  For a number in polar
 notation, this is simply the second component of the pair
-@texline `@t{(}@var{r}@t{;}@tmath{\theta}@t{)}'.
+@texline `@t{(}@var{r}@t{;}@math{\theta}@t{)}'.
 @infoline `@t{(}@var{r}@t{;}@var{theta}@t{)}'.
 The result is expressed according to the current angular mode and will
-be in the range @i{-180} degrees (exclusive) to @i{+180} degrees
+be in the range @mathit{-180} degrees (exclusive) to @mathit{+180} degrees
 (inclusive), or the equivalent range in radians.
 
 @pindex calc-imaginary
 The @code{calc-imaginary} command multiplies the number on the
 top of the stack by the imaginary number @expr{i = (0,1)}.  This
 command is not normally bound to a key in Calc, but it is available
-on the @key{IMAG} button in Keypad Mode.
+on the @key{IMAG} button in Keypad mode.
 
 @kindex f r
 @pindex calc-re
@@ -16513,8 +16507,8 @@ or matrix argument, these functions operate element-wise.
 @pindex calc-pack
 The @kbd{v p} (@code{calc-pack}) command can pack the top two numbers on
 the stack into a composite object such as a complex number.  With
-a prefix argument of @i{-1}, it produces a rectangular complex number;
-with an argument of @i{-2}, it produces a polar complex number.
+a prefix argument of @mathit{-1}, it produces a rectangular complex number;
+with an argument of @mathit{-2}, it produces a polar complex number.
 (Also, @pxref{Building Vectors}.)
 
 @ignore
@@ -16638,7 +16632,7 @@ already a polar complex number, it uses @code{rect} instead.  The
 The @kbd{c c} (@code{calc-clean}) [@code{pclean}] command ``cleans'' the
 number on the top of the stack.  Floating point numbers are re-rounded
 according to the current precision.  Polar numbers whose angular
-components have strayed from the @i{-180} to @i{+180} degree range
+components have strayed from the @mathit{-180} to @mathit{+180} degree range
 are normalized.  (Note that results will be undesirable if the current
 angular mode is different from the one under which the number was
 produced!)  Integers and fractions are generally unaffected by this
@@ -16894,8 +16888,8 @@ of the input date form are lost.  With a numeric prefix argument
 @var{n} in the range from 1 to 366, @kbd{t Y} computes the
 @var{n}th day of the year (366 is treated as 365 in non-leap
 years).  A prefix argument of 0 computes the last day of the
-year (December 31).  A negative prefix argument from @i{-1} to
-@i{-12} computes the first day of the @var{n}th month of the year.
+year (December 31).  A negative prefix argument from @mathit{-1} to
+@mathit{-12} computes the first day of the @var{n}th month of the year.
 
 @kindex t W
 @pindex calc-new-week
@@ -17264,7 +17258,7 @@ The Lisp variable @code{math-daylight-savings-hook} holds the
 name of a function that is used to compute the daylight savings
 adjustment for a given date.  The default is
 @code{math-std-daylight-savings}, which computes an adjustment
-(either 0 or @i{-1}) using the North American rules given above.
+(either 0 or @mathit{-1}) using the North American rules given above.
 
 The daylight savings hook function is called with four arguments:
 The date, as a floating-point number in standard Calc format;
@@ -17312,7 +17306,7 @@ daylight savings hook:
 @noindent
 The @code{bump} parameter is equal to zero when Calc is converting
 from a date form in a generalized time zone into a GMT date value.
-It is @i{-1} when Calc is converting in the other direction.  The
+It is @mathit{-1} when Calc is converting in the other direction.  The
 adjustments shown above ensure that the conversion behaves correctly
 and reasonably around the 2 a.m.@: transition in each direction.
 
@@ -17768,7 +17762,7 @@ formulas below for symbolic arguments only when you use the @kbd{a "}
 integrals or solving equations involving the functions.
 
 @ifinfo
-These formulas are shown using the conventions of ``Big'' display
+These formulas are shown using the conventions of Big display
 mode (@kbd{d B}); for example, the formula for @code{fv} written
 linearly is @samp{pmt * ((1 + rate)^n) - 1) / rate}.
 
@@ -17939,10 +17933,10 @@ particular, negative arguments are converted to positive integers modulo
 
 If the word size is negative, binary operations produce 2's complement
 integers from 
-@texline @tmath{-2^{-w-1}}
+@texline @math{-2^{-w-1}}
 @infoline @expr{-(2^(-w-1))} 
 to 
-@texline @tmath{2^{-w-1}-1}
+@texline @math{2^{-w-1}-1}
 @infoline @expr{2^(-w-1)-1} 
 inclusive.  Either mode accepts inputs in any range; the sign of
 @expr{w} affects only the results produced.
@@ -17958,7 +17952,7 @@ addition do not use the current word size, since integer addition
 generally is not ``binary.''  (However, @pxref{Simplification Modes},
 @code{calc-bin-simplify-mode}.)  For example, with a word size of 8
 bits @kbd{b c} converts a number to the range 0 to 255; with a word
-size of @i{-8} @kbd{b c} converts to the range @i{-128} to 127.
+size of @mathit{-8} @kbd{b c} converts to the range @mathit{-128} to 127.
 
 @kindex b w
 @pindex calc-word-size
@@ -17974,7 +17968,7 @@ When the binary operations are written in symbolic form, they take an
 optional second (or third) word-size parameter.  When a formula like
 @samp{and(a,b)} is finally evaluated, the word size current at that time
 will be used, but when @samp{and(a,b,-8)} is evaluated, a word size of
-@i{-8} will always be used.  A symbolic binary function will be left
+@mathit{-8} will always be used.  A symbolic binary function will be left
 in symbolic form unless the all of its argument(s) are integers or
 integer-valued floats.
 
@@ -18126,11 +18120,11 @@ One miscellaneous command is shift-@kbd{P} (@code{calc-pi}), which pushes
 the value of @cpi{} (at the current precision) onto the stack.  With the
 Hyperbolic flag, it pushes the value @expr{e}, the base of natural logarithms.
 With the Inverse flag, it pushes Euler's constant 
-@texline @tmath{\gamma}
+@texline @math{\gamma}
 @infoline @expr{gamma} 
 (about 0.5772).  With both Inverse and Hyperbolic, it
 pushes the ``golden ratio'' 
-@texline @tmath{\phi}
+@texline @math{\phi}
 @infoline @expr{phi} 
 (about 1.618).  (At present, Euler's constant is not available
 to unlimited precision; Calc knows only the first 100 digits.)
@@ -18210,7 +18204,7 @@ The @kbd{H L} (@code{calc-log10}) [@code{log10}] command computes the common
 it raises ten to a given power.)  Note that the common logarithm of a
 complex number is computed by taking the natural logarithm and dividing
 by 
-@texline @tmath{\ln10}.
+@texline @math{\ln10}.
 @infoline @expr{ln(10)}.
 
 @kindex B
@@ -18220,11 +18214,11 @@ by
 @tindex alog
 The @kbd{B} (@code{calc-log}) [@code{log}] command computes a logarithm
 to any base.  For example, @kbd{1024 @key{RET} 2 B} produces 10, since
-@texline @tmath{2^{10} = 1024}.
+@texline @math{2^{10} = 1024}.
 @infoline @expr{2^10 = 1024}.  
 In certain cases like @samp{log(3,9)}, the result
 will be either @expr{1:2} or @expr{0.5} depending on the current Fraction
-Mode setting.  With the Inverse flag [@code{alog}], this command is
+mode setting.  With the Inverse flag [@code{alog}], this command is
 similar to @kbd{^} except that the order of the arguments is reversed.
 
 @kindex f I
@@ -18242,11 +18236,11 @@ integer arithmetic is used; otherwise, this is equivalent to
 @pindex calc-expm1
 @tindex expm1
 The @kbd{f E} (@code{calc-expm1}) [@code{expm1}] command computes
-@texline @tmath{e^x - 1},
+@texline @math{e^x - 1},
 @infoline @expr{exp(x)-1}, 
 but using an algorithm that produces a more accurate
 answer when the result is close to zero, i.e., when 
-@texline @tmath{e^x}
+@texline @math{e^x}
 @infoline @expr{exp(x)} 
 is close to one.
 
@@ -18254,7 +18248,7 @@ is close to one.
 @pindex calc-lnp1
 @tindex lnp1
 The @kbd{f L} (@code{calc-lnp1}) [@code{lnp1}] command computes
-@texline @tmath{\ln(x+1)},
+@texline @math{\ln(x+1)},
 @infoline @expr{ln(x+1)}, 
 producing a more accurate answer when @expr{x} is close to zero.
 
@@ -18280,7 +18274,7 @@ of the current angular mode.  @xref{Basic Operations on Units}.
 Also, the symbolic variable @code{pi} is not ordinarily recognized in
 arguments to trigonometric functions, as in @samp{sin(3 pi / 4)}, but
 the @kbd{a s} (@code{calc-simplify}) command recognizes many such
-formulas when the current angular mode is radians @emph{and} symbolic
+formulas when the current angular mode is Radians @emph{and} Symbolic
 mode is enabled; this example would be replaced by @samp{sqrt(2) / 2}.
 @xref{Symbolic Mode}.  Beware, this simplification occurs even if you
 have stored a different value in the variable @samp{pi}; this is one
@@ -18289,7 +18283,7 @@ the form @expr{x} plus a multiple of @cpiover{2} are also simplified.
 Calc includes similar formulas for @code{cos} and @code{tan}.
 
 The @kbd{a s} command knows all angles which are integer multiples of
-@cpiover{12}, @cpiover{10}, or @cpiover{8} radians.  In degrees mode,
+@cpiover{12}, @cpiover{10}, or @cpiover{8} radians.  In Degrees mode,
 analogous simplifications occur for integer multiples of 15 or 18
 degrees, and for arguments plus multiples of 90 degrees.
 
@@ -18388,10 +18382,10 @@ variants of these functions.
 @tindex arctan2
 The @kbd{f T} (@code{calc-arctan2}) [@code{arctan2}] command takes two
 numbers from the stack and computes the arc tangent of their ratio.  The
-result is in the full range from @i{-180} (exclusive) to @i{+180}
+result is in the full range from @mathit{-180} (exclusive) to @mathit{+180}
 (inclusive) degrees, or the analogous range in radians.  A similar
 result would be obtained with @kbd{/} followed by @kbd{I T}, but the
-value would only be in the range from @i{-90} to @i{+90} degrees
+value would only be in the range from @mathit{-90} to @mathit{+90} degrees
 since the division loses information about the signs of the two
 components, and an error might result from an explicit division by zero
 which @code{arctan2} would avoid.  By (arbitrary) definition,
@@ -18440,7 +18434,7 @@ gamma function.  For positive integer arguments, this is related to the
 factorial function:  @samp{gamma(n+1) = fact(n)}.  For general complex
 arguments the gamma function can be defined by the following definite
 integral:  
-@texline @tmath{\Gamma(a) = \int_0^\infty t^{a-1} e^t dt}.
+@texline @math{\Gamma(a) = \int_0^\infty t^{a-1} e^t dt}.
 @infoline @expr{gamma(a) = integ(t^(a-1) exp(t), t, 0, inf)}.  
 (The actual implementation uses far more efficient computational methods.)
 
@@ -18474,7 +18468,7 @@ integral:
 The @kbd{f G} (@code{calc-inc-gamma}) [@code{gammaP}] command computes
 the incomplete gamma function, denoted @samp{P(a,x)}.  This is defined by
 the integral, 
-@texline @tmath{P(a,x) = \left( \int_0^x t^{a-1} e^t dt \right) / \Gamma(a)}.
+@texline @math{P(a,x) = \left( \int_0^x t^{a-1} e^t dt \right) / \Gamma(a)}.
 @infoline @expr{gammaP(a,x) = integ(t^(a-1) exp(t), t, 0, x) / gamma(a)}.
 This implies that @samp{gammaP(a,inf) = 1} for any @expr{a} (see the
 definition of the normal gamma function).
@@ -18507,10 +18501,10 @@ You can obtain these using the \kbd{H f G} [\code{gammag}] and
 @tindex beta
 The @kbd{f b} (@code{calc-beta}) [@code{beta}] command computes the
 Euler beta function, which is defined in terms of the gamma function as
-@texline @tmath{B(a,b) = \Gamma(a) \Gamma(b) / \Gamma(a+b)},
+@texline @math{B(a,b) = \Gamma(a) \Gamma(b) / \Gamma(a+b)},
 @infoline @expr{beta(a,b) = gamma(a) gamma(b) / gamma(a+b)}, 
 or by
-@texline @tmath{B(a,b) = \int_0^1 t^{a-1} (1-t)^{b-1} dt}.
+@texline @math{B(a,b) = \int_0^1 t^{a-1} (1-t)^{b-1} dt}.
 @infoline @expr{beta(a,b) = integ(t^(a-1) (1-t)^(b-1), t, 0, 1)}.
 
 @kindex f B
@@ -18520,7 +18514,7 @@ or by
 @tindex betaB
 The @kbd{f B} (@code{calc-inc-beta}) [@code{betaI}] command computes
 the incomplete beta function @expr{I(x,a,b)}.  It is defined by
-@texline @tmath{I(x,a,b) = \left( \int_0^x t^{a-1} (1-t)^{b-1} dt \right) / B(a,b)}.
+@texline @math{I(x,a,b) = \left( \int_0^x t^{a-1} (1-t)^{b-1} dt \right) / B(a,b)}.
 @infoline @expr{betaI(x,a,b) = integ(t^(a-1) (1-t)^(b-1), t, 0, x) / beta(a,b)}.
 Once again, the @kbd{H} (hyperbolic) prefix gives the corresponding
 un-normalized version [@code{betaB}].
@@ -18532,11 +18526,11 @@ un-normalized version [@code{betaB}].
 @tindex erfc
 The @kbd{f e} (@code{calc-erf}) [@code{erf}] command computes the
 error function 
-@texline @tmath{\hbox{erf}(x) = {2 \over \sqrt{\pi}} \int_0^x e^{-t^2} dt}.
+@texline @math{\hbox{erf}(x) = {2 \over \sqrt{\pi}} \int_0^x e^{-t^2} dt}.
 @infoline @expr{erf(x) = 2 integ(exp(-(t^2)), t, 0, x) / sqrt(pi)}.
 The complementary error function @kbd{I f e} (@code{calc-erfc}) [@code{erfc}]
 is the corresponding integral from @samp{x} to infinity; the sum
-@texline @tmath{\hbox{erf}(x) + \hbox{erfc}(x) = 1}.
+@texline @math{\hbox{erf}(x) + \hbox{erfc}(x) = 1}.
 @infoline @expr{erf(x) + erfc(x) = 1}.
 
 @kindex f j
@@ -18612,17 +18606,17 @@ occurrence of @code{eps} may stand for a different small value.
 
 For @samp{z1^z2}:  This is defined by @samp{exp(ln(z1)*z2)}.
 One interesting consequence of this is that @samp{(-8)^1:3} does
-not evaluate to @i{-2} as you might expect, but to the complex
+not evaluate to @mathit{-2} as you might expect, but to the complex
 number @expr{(1., 1.732)}.  Both of these are valid cube roots
-of @i{-8} (as is @expr{(1., -1.732)}); Calc chooses a perhaps
+of @mathit{-8} (as is @expr{(1., -1.732)}); Calc chooses a perhaps
 less-obvious root for the sake of mathematical consistency.
 
 For @samp{arcsin(z)}:  This is defined by @samp{-i*ln(i*z + sqrt(1-z^2))}.
-The branch cuts are on the real axis, less than @i{-1} and greater than 1.
+The branch cuts are on the real axis, less than @mathit{-1} and greater than 1.
 
 For @samp{arccos(z)}:  This is defined by @samp{-i*ln(z + i*sqrt(1-z^2))},
 or equivalently by @samp{pi/2 - arcsin(z)}.  The branch cuts are on
-the real axis, less than @i{-1} and greater than 1.
+the real axis, less than @mathit{-1} and greater than 1.
 
 For @samp{arctan(z)}:  This is defined by
 @samp{(ln(1+i*z) - ln(1-i*z)) / (2*i)}.  The branch cuts are on the
@@ -18637,10 +18631,10 @@ For @samp{arccosh(z)}:  This is defined by
 real axis less than 1.
 
 For @samp{arctanh(z)}:  This is defined by @samp{(ln(1+z) - ln(1-z)) / 2}.
-The branch cuts are on the real axis, less than @i{-1} and greater than 1.
+The branch cuts are on the real axis, less than @mathit{-1} and greater than 1.
 
 The following tables for @code{arcsin}, @code{arccos}, and
-@code{arctan} assume the current angular mode is radians.  The
+@code{arctan} assume the current angular mode is Radians.  The
 hyperbolic functions operate independently of the angular mode.
 
 @smallexample
@@ -18710,7 +18704,7 @@ random numbers of various sorts.
 
 Given a positive numeric prefix argument @expr{M}, it produces a random
 integer @expr{N} in the range 
-@texline @tmath{0 \le N < M}.
+@texline @math{0 \le N < M}.
 @infoline @expr{0 <= N < M}.  
 Each of the @expr{M} values appears with equal probability.
 
@@ -18720,15 +18714,15 @@ the result is a random integer less than @expr{M}.  However, note that
 while numeric prefix arguments are limited to six digits or so, an @expr{M}
 taken from the stack can be arbitrarily large.  If @expr{M} is negative,
 the result is a random integer in the range 
-@texline @tmath{M < N \le 0}.
+@texline @math{M < N \le 0}.
 @infoline @expr{M < N <= 0}.
 
 If the value on the stack is a floating-point number @expr{M}, the result
 is a random floating-point number @expr{N} in the range 
-@texline @tmath{0 \le N < M}
+@texline @math{0 \le N < M}
 @infoline @expr{0 <= N < M}
 or 
-@texline @tmath{M < N \le 0},
+@texline @math{M < N \le 0},
 @infoline @expr{M < N <= 0}, 
 according to the sign of @expr{M}.
 
@@ -18738,14 +18732,14 @@ of one.  The algorithm used generates random numbers in pairs; thus,
 every other call to this function will be especially fast.
 
 If @expr{M} is an error form 
-@texline @tmath{m} @code{+/-} @tmath{\sigma}
+@texline @math{m} @code{+/-} @math{\sigma}
 @infoline @samp{m +/- s} 
 where @var{m} and 
-@texline @tmath{\sigma}
+@texline @math{\sigma}
 @infoline @var{s} 
 are both real numbers, the result uses a Gaussian distribution with mean
 @var{m} and standard deviation 
-@texline @tmath{\sigma}.
+@texline @math{\sigma}.
 @var{s}.
 
 If @expr{M} is an interval form, the lower and upper bounds specify the
@@ -18858,7 +18852,7 @@ generators that are typically used to implement @code{random}.
 If @code{RandSeed} contains an integer, Calc uses this integer to
 seed an ``additive congruential'' method (Knuth's algorithm 3.2.2A,
 computing 
-@texline @tmath{X_{n-55} - X_{n-24}}.
+@texline @math{X_{n-55} - X_{n-24}}.
 @infoline @expr{X_n-55 - X_n-24}).  
 This method expands the seed
 value into a large table which is maintained internally; the variable
@@ -18894,20 +18888,20 @@ value.
 
 To create a random floating-point number with precision @var{p}, Calc
 simply creates a random @var{p}-digit integer and multiplies by
-@texline @tmath{10^{-p}}.
+@texline @math{10^{-p}}.
 @infoline @expr{10^-p}.  
 The resulting random numbers should be very clean, but note
 that relatively small numbers will have few significant random digits.
 In other words, with a precision of 12, you will occasionally get
 numbers on the order of 
-@texline @tmath{10^{-9}}
+@texline @math{10^{-9}}
 @infoline @expr{10^-9} 
 or 
-@texline @tmath{10^{-10}},
+@texline @math{10^{-10}},
 @infoline @expr{10^-10}, 
 but those numbers will only have two or three random digits since they
 correspond to small integers times 
-@texline @tmath{10^{-12}}.
+@texline @math{10^{-12}}.
 @infoline @expr{10^-12}.
 
 To create a random integer in the interval @samp{[0 .. @var{m})}, Calc
@@ -18958,7 +18952,7 @@ numbers.
 The @kbd{k E} (@code{calc-extended-gcd}) [@code{egcd}] command computes
 the GCD of two integers @expr{x} and @expr{y} and returns a vector
 @expr{[g, a, b]} where 
-@texline @tmath{g = \gcd(x,y) = a x + b y}.
+@texline @math{g = \gcd(x,y) = a x + b y}.
 @infoline @expr{g = gcd(x,y) = a x + b y}.
 
 @kindex !
@@ -19002,7 +18996,7 @@ on the top of the stack and @expr{N} is second-to-top.  If both arguments
 are integers, the result is an exact integer.  Otherwise, the result is a
 floating-point approximation.  The binomial coefficient is defined for all
 real numbers by
-@texline @tmath{N! \over M! (N-M)!\,}.
+@texline @math{N! \over M! (N-M)!\,}.
 @infoline @expr{N! / M! (N-M)!}.
 
 @kindex H k c
@@ -19045,11 +19039,11 @@ functions.
 @tindex stir2
 The @kbd{k s} (@code{calc-stirling-number}) [@code{stir1}] command
 computes a Stirling number of the first 
-@texline kind@tie{}@tmath{n \brack m},
+@texline kind@tie{}@math{n \brack m},
 @infoline kind,
 given two integers @expr{n} and @expr{m} on the stack.  The @kbd{H k s}
 [@code{stir2}] command computes a Stirling number of the second 
-@texline kind@tie{}@tmath{n \brace m}.
+@texline kind@tie{}@math{n \brace m}.
 @infoline kind.
 These are the number of @expr{m}-cycle permutations of @expr{n} objects,
 and the number of ways to partition @expr{n} objects into @expr{m}
@@ -19093,8 +19087,8 @@ result is a vector of the prime factors in increasing order.  For larger
 inputs, prime factors above 5000 may not be found, in which case the
 last number in the vector will be an unfactored integer greater than 25
 million (with a warning message).  For negative integers, the first
-element of the list will be @i{-1}.  For inputs @i{-1}, @i{0}, and
-@i{1}, the result is a list of the same number.
+element of the list will be @mathit{-1}.  For inputs @mathit{-1}, @mathit{0}, and
+@mathit{1}, the result is a list of the same number.
 
 @kindex k n
 @pindex calc-next-prime
@@ -19128,7 +19122,7 @@ analogously finds the next prime less than a given number.
 @tindex totient
 The @kbd{k t} (@code{calc-totient}) [@code{totient}] command computes the
 Euler ``totient'' 
-@texline function@tie{}@tmath{\phi(n)},
+@texline function@tie{}@math{\phi(n)},
 @infoline function,
 the number of integers less than @expr{n} which
 are relatively prime to @expr{n}.
@@ -19137,7 +19131,7 @@ are relatively prime to @expr{n}.
 @pindex calc-moebius
 @tindex moebius
 The @kbd{k m} (@code{calc-moebius}) [@code{moebius}] command computes the
-@texline M@"obius @tmath{\mu}
+@texline M@"obius @math{\mu}
 @infoline Moebius ``mu''
 function.  If the input number is a product of @expr{k}
 distinct factors, this is @expr{(-1)^k}.  If the input number has any
@@ -19201,7 +19195,7 @@ recover the original arguments but substitute a new value for @expr{x}.)
 @end ignore
 @tindex ltpc
 The @samp{utpc(x,v)} function uses the chi-square distribution with
-@texline @tmath{\nu}
+@texline @math{\nu}
 @infoline @expr{v} 
 degrees of freedom.  It is the probability that a model is
 correct if its chi-square statistic is @expr{x}.
@@ -19219,10 +19213,10 @@ correct if its chi-square statistic is @expr{x}.
 @tindex ltpf
 The @samp{utpf(F,v1,v2)} function uses the F distribution, used in
 various statistical tests.  The parameters 
-@texline @tmath{\nu_1}
+@texline @math{\nu_1}
 @infoline @expr{v1} 
 and 
-@texline @tmath{\nu_2}
+@texline @math{\nu_2}
 @infoline @expr{v2}
 are the degrees of freedom in the numerator and denominator,
 respectively, used in computing the statistic @expr{F}.
@@ -19240,7 +19234,7 @@ respectively, used in computing the statistic @expr{F}.
 @tindex ltpn
 The @samp{utpn(x,m,s)} function uses a normal (Gaussian) distribution
 with mean @expr{m} and standard deviation 
-@texline @tmath{\sigma}.
+@texline @math{\sigma}.
 @infoline @expr{s}.  
 It is the probability that such a normal-distributed random variable
 would exceed @expr{x}.
@@ -19273,18 +19267,18 @@ Poisson random events will occur.
 @tindex ltpt
 The @samp{utpt(t,v)} function uses the Student's ``t'' distribution
 with 
-@texline @tmath{\nu}
+@texline @math{\nu}
 @infoline @expr{v} 
 degrees of freedom.  It is the probability that a
 t-distributed random variable will be greater than @expr{t}.
 (Note:  This computes the distribution function 
-@texline @tmath{A(t|\nu)}
+@texline @math{A(t|\nu)}
 @infoline @expr{A(t|v)}
 where 
-@texline @tmath{A(0|\nu) = 1}
+@texline @math{A(0|\nu) = 1}
 @infoline @expr{A(0|v) = 1} 
 and 
-@texline @tmath{A(\infty|\nu) \to 0}.
+@texline @math{A(\infty|\nu) \to 0}.
 @infoline @expr{A(inf|v) -> 0}.  
 The @code{UTPT} operation on the HP-48 uses a different definition which
 returns half of Calc's value:  @samp{UTPT(t,v) = .5*utpt(t,v)}.)
@@ -19404,8 +19398,8 @@ integer, is the exponent.  The result is the mantissa
 times ten to the power of the exponent.
 
 @item -12
-This is treated the same as @i{-11} by the @kbd{v p} command.
-When unpacking, @i{-12} specifies that a floating-point mantissa
+This is treated the same as @mathit{-11} by the @kbd{v p} command.
+When unpacking, @mathit{-12} specifies that a floating-point mantissa
 is desired.
 
 @item -13
@@ -19444,7 +19438,7 @@ returned in the form @samp{[@w{[a, b, c]}, [d, e, f]]}.
 If any elements of the vector are negative, other kinds of
 packing are done at that level as described above.  For
 example, @samp{[2, 3, -4]} takes 12 objects and creates a
-@texline @tmath{2\times3}
+@texline @math{2\times3}
 @infoline 2x3
 matrix of error forms: @samp{[[a +/- b, c +/- d ... ]]}.
 Also, @samp{[-4, -10]} will convert four integers into an
@@ -19482,18 +19476,18 @@ the result of @kbd{C-u -4 v u} will be the two vectors
 @samp{[a, c^2, d]} and @w{@samp{[b, 0, 7]}}.
 
 Note that the prefix argument can have an effect even when the input is
-not a vector.  For example, if the input is the number @i{-5}, then
-@kbd{c-u -1 v u} yields @i{-5} and 0 (the components of @i{-5}
+not a vector.  For example, if the input is the number @mathit{-5}, then
+@kbd{c-u -1 v u} yields @mathit{-5} and 0 (the components of @mathit{-5}
 when viewed as a rectangular complex number); @kbd{C-u -2 v u} yields 5
-and 180 (assuming degrees mode); and @kbd{C-u -10 v u} yields @i{-5}
-and 1 (the numerator and denominator of @i{-5}, viewed as a rational
+and 180 (assuming Degrees mode); and @kbd{C-u -10 v u} yields @mathit{-5}
+and 1 (the numerator and denominator of @mathit{-5}, viewed as a rational
 number).  Plain @kbd{v u} with this input would complain that the input
 is not a composite object.
 
-Unpacking mode @i{-11} converts a float into an integer mantissa and
+Unpacking mode @mathit{-11} converts a float into an integer mantissa and
 an integer exponent, where the mantissa is not divisible by 10
 (except that 0.0 is represented by a mantissa and exponent of 0).
-Unpacking mode @i{-12} converts a float into a floating-point mantissa
+Unpacking mode @mathit{-12} converts a float into a floating-point mantissa
 and integer exponent, where the mantissa (for non-zero numbers)
 is guaranteed to lie in the range [1 .. 10).  In both cases,
 the mantissa is shifted left or right (and the exponent adjusted
@@ -19593,7 +19587,7 @@ the stack is a scalar, it is used for each element on the diagonal, and
 the prefix argument is required.
 
 To build a constant square matrix, e.g., a 
-@texline @tmath{3\times3}
+@texline @math{3\times3}
 @infoline 3x3
 matrix filled with ones, use @kbd{0 M-3 v d 1 +}, i.e., build a zero
 matrix first and then add a constant value to that matrix.  (Another
@@ -19615,7 +19609,7 @@ such generic identity matrices, and if one is combined with a matrix
 whose size is known, it is converted automatically to an identity
 matrix of a suitable matching size.  The @kbd{v i} command with an
 argument of zero creates a generic identity matrix, @samp{idn(1)}.
-Note that in dimensioned matrix mode (@pxref{Matrix Mode}), generic
+Note that in dimensioned Matrix mode (@pxref{Matrix Mode}), generic
 identity matrices are immediately expanded to the current default
 dimensions.
 
@@ -19626,7 +19620,7 @@ The @kbd{v x} (@code{calc-index}) [@code{index}] function builds a vector
 of consecutive integers from 1 to @var{n}, where @var{n} is the numeric
 prefix argument.  If you do not provide a prefix argument, you will be
 prompted to enter a suitable number.  If @var{n} is negative, the result
-is a vector of negative integers from @var{n} to @i{-1}.
+is a vector of negative integers from @var{n} to @mathit{-1}.
 
 With a prefix argument of just @kbd{C-u}, the @kbd{v x} command takes
 three values from the stack: @var{n}, @var{start}, and @var{incr} (with
@@ -19819,7 +19813,7 @@ With the Hyperbolic flag, @kbd{H v l} [@code{mdims}] computes a vector
 of the dimensions of a vector, matrix, or higher-order object.  For
 example, @samp{mdims([[a,b,c],[d,e,f]])} returns @samp{[2, 3]} since
 its argument is a 
-@texline @tmath{2\times3}
+@texline @math{2\times3}
 @infoline 2x3
 matrix.
 
@@ -19851,13 +19845,13 @@ in the vector, the last row will be short and the result will not be
 suitable for use as a matrix.  For example, with the matrix
 @samp{[[1, 2], @w{[3, 4]}]} on the stack, @kbd{v a 4} produces
 @samp{[[1, 2, 3, 4]]} (a 
-@texline @tmath{1\times4}
+@texline @math{1\times4}
 @infoline 1x4
 matrix), @kbd{v a 1} produces @samp{[[1], [2], [3], [4]]} (a 
-@texline @tmath{4\times1}
+@texline @math{4\times1}
 @infoline 4x1
 matrix), @kbd{v a 2} produces @samp{[[1, 2], [3, 4]]} (the original 
-@texline @tmath{2\times2}
+@texline @math{2\times2}
 @infoline 2x2
 matrix), @w{@kbd{v a 3}} produces @samp{[[1, 2, 3], [4]]} (not a
 matrix), and @kbd{v a 0} produces the flattened list 
@@ -20177,10 +20171,10 @@ sets are disjoint, i.e., if they share no common elements, the result
 will be the empty vector @samp{[]}.  Note that the characters @kbd{V}
 and @kbd{^} were chosen to be close to the conventional mathematical
 notation for set 
-@texline union@tie{}(@tmath{A \cup B})
+@texline union@tie{}(@math{A \cup B})
 @infoline union
 and 
-@texline intersection@tie{}(@tmath{A \cap B}).
+@texline intersection@tie{}(@math{A \cap B}).
 @infoline intersection.
 
 @kindex V -
@@ -20289,7 +20283,7 @@ not include any negative numbers.  The input is interpreted as a
 set of integers in the sense of @kbd{V F} (@code{vfloor}).  Beware
 that a simple input like @samp{[100]} can result in a huge integer
 representation 
-@texline (@tmath{2^{100}}, a 31-digit integer, in this case).
+@texline (@math{2^{100}}, a 31-digit integer, in this case).
 @infoline (@expr{2^100}, a 31-digit integer, in this case).
 
 @node Statistical Operations, Reducing and Mapping, Set Operations, Matrix Functions
@@ -20401,10 +20395,10 @@ plus or minus infinity.
 The @kbd{u M} (@code{calc-vector-mean}) [@code{vmean}] command
 computes the average (arithmetic mean) of the data values.
 If the inputs are error forms 
-@texline @tmath{x \pm \sigma},
+@texline @math{x \pm \sigma},
 @infoline @samp{x +/- s}, 
 this is the weighted mean of the @expr{x} values with weights 
-@texline @tmath{1 /\sigma^2}.
+@texline @math{1 /\sigma^2}.
 @infoline @expr{1 / s^2}.
 @tex
 \turnoffactive
@@ -20416,7 +20410,7 @@ values divided by the count of the values.
 
 Note that a plain number can be considered an error form with
 error 
-@texline @tmath{\sigma = 0}.
+@texline @math{\sigma = 0}.
 @infoline @expr{s = 0}.  
 If the input to @kbd{u M} is a mixture of
 plain numbers and error forms, the result is the mean of the
@@ -20525,7 +20519,7 @@ for a vector of numbers simply by using the @kbd{A} command.
 @cindex Sample statistics
 The @kbd{u S} (@code{calc-vector-sdev}) [@code{vsdev}] command
 computes the standard 
-@texline deviation@tie{}@tmath{\sigma}
+@texline deviation@tie{}@math{\sigma}
 @infoline deviation
 of the data values.  If the values are error forms, the errors are used
 as weights just as for @kbd{u M}.  This is the @emph{sample} standard
@@ -20541,7 +20535,7 @@ This function also applies to distributions.  The standard deviation
 of a single error form is simply the error part.  The standard deviation
 of a continuous interval happens to equal the difference between the
 limits, divided by 
-@texline @tmath{\sqrt{12}}.
+@texline @math{\sqrt{12}}.
 @infoline @expr{sqrt(12)}.  
 The standard deviation of an integer interval is the same as the
 standard deviation of a vector of those integers.
@@ -20579,7 +20573,7 @@ The @kbd{H u S} (@code{calc-vector-variance}) [@code{vvar}] and
 @kbd{H I u S} (@code{calc-vector-pop-variance}) [@code{vpvar}]
 commands compute the variance of the data values.  The variance
 is the 
-@texline square@tie{}@tmath{\sigma^2}
+@texline square@tie{}@math{\sigma^2}
 @infoline square
 of the standard deviation, i.e., the sum of the
 squares of the deviations of the data values from the mean.
@@ -20603,7 +20597,7 @@ vectors of equal size.  The vectors are each flattened in the same
 way as by the single-variable statistical functions.  Given a numeric
 prefix argument of 1, these functions instead take one object from
 the stack, which must be an 
-@texline @tmath{N\times2}
+@texline @math{N\times2}
 @infoline Nx2
 matrix of data values.  Once again, variable names can be used in place
 of actual vectors and matrices.
@@ -20861,7 +20855,7 @@ If any argument to @kbd{V M} is a matrix, the operator is normally mapped
 across all elements of the matrix.  For example, given the matrix
 @expr{[[1, -2, 3], [-4, 5, -6]]}, @kbd{V M A} takes six absolute values to
 produce another 
-@texline @tmath{3\times2}
+@texline @math{3\times2}
 @infoline 3x2
 matrix, @expr{[[1, 2, 3], [4, 5, 6]]}.
 
@@ -21272,11 +21266,11 @@ for anything else'') prefix.
 using regular Emacs editing commands.
 
 When doing algebraic work, you may find several of the Calculator's
-modes to be helpful, including algebraic-simplification mode (@kbd{m A})
-or no-simplification mode (@kbd{m O}),
-algebraic-entry mode (@kbd{m a}), fraction mode (@kbd{m f}), and
-symbolic mode (@kbd{m s}).  @xref{Mode Settings}, for discussions
-of these modes.  You may also wish to select ``big'' display mode (@kbd{d B}).
+modes to be helpful, including Algebraic Simplification mode (@kbd{m A})
+or No-Simplification mode (@kbd{m O}),
+Algebraic entry mode (@kbd{m a}), Fraction mode (@kbd{m f}), and
+Symbolic mode (@kbd{m s}).  @xref{Mode Settings}, for discussions
+of these modes.  You may also wish to select Big display mode (@kbd{d B}).
 @xref{Normal Language Modes}.
 
 @menu
@@ -21330,7 +21324,7 @@ sub-formula, and press @w{@kbd{j s}} (@code{calc-select-here}).  Calc will
 highlight the smallest portion of the formula that contains that
 character.  By default the sub-formula is highlighted by blanking out
 all of the rest of the formula with dots.  Selection works in any
-display mode but is perhaps easiest in ``big'' (@kbd{d B}) mode.
+display mode but is perhaps easiest in Big mode (@kbd{d B}).
 Suppose you enter the following formula:
 
 @smallexample
@@ -21360,7 +21354,7 @@ to
 Every character not part of the sub-formula @samp{b} has been changed
 to a dot.  The @samp{*} next to the line number is to remind you that
 the formula has a portion of it selected.  (In this case, it's very
-obvious, but it might not always be.  If Embedded Mode is enabled,
+obvious, but it might not always be.  If Embedded mode is enabled,
 the word @samp{Sel} also appears in the mode line because the stack
 may not be visible.  @pxref{Embedded Mode}.)
 
@@ -22010,17 +22004,17 @@ but which also substitutes stored values for variables in the formula.
 Use @kbd{a v} if you want the variables to ignore their stored values.
 
 If you give a numeric prefix argument of 2 to @kbd{a v}, it simplifies
-as if in algebraic simplification mode.  This is equivalent to typing
+as if in Algebraic Simplification mode.  This is equivalent to typing
 @kbd{a s}; @pxref{Simplifying Formulas}.  If you give a numeric prefix
-of 3 or more, it uses extended simplification mode (@kbd{a e}).
+of 3 or more, it uses Extended Simplification mode (@kbd{a e}).
 
-If you give a negative prefix argument @i{-1}, @i{-2}, or @i{-3},
+If you give a negative prefix argument @mathit{-1}, @mathit{-2}, or @mathit{-3},
 it simplifies in the corresponding mode but only works on the top-level
 function call of the formula.  For example, @samp{(2 + 3) * (2 + 3)} will
 simplify to @samp{(2 + 3)^2}, without simplifying the sub-formulas
 @samp{2 + 3}.  As another example, typing @kbd{V R +} to sum the vector
 @samp{[1, 2, 3, 4]} produces the formula @samp{reduce(add, [1, 2, 3, 4])}
-in no-simplify mode.  Using @kbd{a v} will evaluate this all the way to
+in No-Simplify mode.  Using @kbd{a v} will evaluate this all the way to
 10; using @kbd{C-u - a v} will evaluate it only to @samp{1 + 2 + 3 + 4}.
 (@xref{Reducing and Mapping}.)
 
@@ -22028,7 +22022,7 @@ in no-simplify mode.  Using @kbd{a v} will evaluate this all the way to
 @tindex evalvn
 The @kbd{=} command corresponds to the @code{evalv} function, and
 the related @kbd{N} command, which is like @kbd{=} but temporarily
-disables symbolic (@kbd{m s}) mode during the evaluation, corresponds
+disables Symbolic mode (@kbd{m s}) during the evaluation, corresponds
 to the @code{evalvn} function.  (These commands interpret their prefix
 arguments differently than @kbd{a v}; @kbd{=} treats the prefix as
 the number of stack elements to evaluate at once, and @kbd{N} treats
@@ -22203,7 +22197,7 @@ is evaluated to @expr{3}.  Evaluation does not occur if the arguments
 to a function are somehow of the wrong type @expr{@t{tan}([2,3,4])}),
 range (@expr{@t{tan}(90)}), or number (@expr{@t{tan}(3,5)}), 
 or if the function name is not recognized (@expr{@t{f}(5)}), or if
-``symbolic'' mode (@pxref{Symbolic Mode}) prevents evaluation
+Symbolic mode (@pxref{Symbolic Mode}) prevents evaluation
 (@expr{@t{sqrt}(2)}).
 
 Calc simplifies (evaluates) the arguments to a function before it
@@ -22286,7 +22280,7 @@ simplifications.)
 
 The distributive law is used to simplify sums in some cases:
 @expr{a x + b x} to @expr{(a + b) x}, where @expr{a} represents
-a number or an implicit 1 or @i{-1} (as in @expr{x} or @expr{-x})
+a number or an implicit 1 or @mathit{-1} (as in @expr{x} or @expr{-x})
 and similarly for @expr{b}.  Use the @kbd{a c}, @w{@kbd{a f}}, or
 @kbd{j M} commands to merge sums with non-numeric coefficients
 using the distributive law.
@@ -22311,7 +22305,7 @@ to @expr{-a}.
 The products @expr{1 a} and @expr{a 1} are simplified to @expr{a};
 @expr{(-1) a} and @expr{a (-1)} are simplified to @expr{-a};
 @expr{0 a} and @expr{a 0} are simplified to @expr{0}, except that
-in matrix mode where @expr{a} is not provably scalar the result
+in Matrix mode where @expr{a} is not provably scalar the result
 is the generic zero matrix @samp{idn(0)}, and that if @expr{a} is
 infinite the result is @samp{nan}.
 
@@ -22330,25 +22324,25 @@ rewritten to @expr{a (c - b)}.
 
 The distributive law of products and powers is used for adjacent
 terms of the product: @expr{x^a x^b} goes to 
-@texline @tmath{x^{a+b}}
+@texline @math{x^{a+b}}
 @infoline @expr{x^(a+b)}
 where @expr{a} is a number, or an implicit 1 (as in @expr{x}),
 or the implicit one-half of @expr{@t{sqrt}(x)}, and similarly for
 @expr{b}.  The result is written using @samp{sqrt} or @samp{1/sqrt}
 if the sum of the powers is @expr{1/2} or @expr{-1/2}, respectively.
 If the sum of the powers is zero, the product is simplified to
-@expr{1} or to @samp{idn(1)} if matrix mode is enabled.
+@expr{1} or to @samp{idn(1)} if Matrix mode is enabled.
 
 The product of a negative power times anything but another negative
 power is changed to use division:  
-@texline @tmath{x^{-2} y}
+@texline @math{x^{-2} y}
 @infoline @expr{x^(-2) y} 
-goes to @expr{y / x^2} unless matrix mode is
+goes to @expr{y / x^2} unless Matrix mode is
 in effect and neither @expr{x} nor @expr{y} are scalar (in which
 case it is considered unsafe to rearrange the order of the terms).
 
 Finally, @expr{a (b/c)} is rewritten to @expr{(a b)/c}, and also
-@expr{(a/b) c} is changed to @expr{(a c)/b} unless in matrix mode.
+@expr{(a/b) c} is changed to @expr{(a c)/b} unless in Matrix mode.
 
 @tex
 \bigskip
@@ -22365,17 +22359,17 @@ infinite quantity, as directed by the current infinite mode.
 @xref{Infinite Mode}.
 
 The expression 
-@texline @tmath{a / b^{-c}}
+@texline @math{a / b^{-c}}
 @infoline @expr{a / b^(-c)} 
 is changed to @expr{a b^c}, where @expr{-c} is any negative-looking
 power.  Also, @expr{1 / b^c} is changed to 
-@texline @tmath{b^{-c}}
+@texline @math{b^{-c}}
 @infoline @expr{b^(-c)} 
 for any power @expr{c}.
 
 Also, @expr{(-a) / b} and @expr{a / (-b)} go to @expr{-(a/b)};
 @expr{(a/b) / c} goes to @expr{a / (b c)}; and @expr{a / (b/c)}
-goes to @expr{(a c) / b} unless matrix mode prevents this
+goes to @expr{(a c) / b} unless Matrix mode prevents this
 rearrangement.  Similarly, @expr{a / (b:c)} is simplified to
 @expr{(c:b) a} for any fraction @expr{b:c}.
 
@@ -22399,7 +22393,7 @@ to @expr{a / (c - b)}, and @expr{(a - b) / (-c)} to @expr{(b - a) / c}.
 @end tex
 
 The formula @expr{x^0} is simplified to @expr{1}, or to @samp{idn(1)}
-in matrix mode.  The formula @expr{0^x} is simplified to @expr{0}
+in Matrix mode.  The formula @expr{0^x} is simplified to @expr{0}
 unless @expr{x} is a negative number or complex number, in which
 case the result is an infinity or an unsimplified formula according
 to the current infinite mode.  Note that @expr{0^0} is an
@@ -22410,22 +22404,22 @@ Powers of products or quotients @expr{(a b)^c}, @expr{(a/b)^c}
 are distributed to @expr{a^c b^c}, @expr{a^c / b^c} only if @expr{c}
 is an integer, or if either @expr{a} or @expr{b} are nonnegative
 real numbers.  Powers of powers @expr{(a^b)^c} are simplified to
-@texline @tmath{a^{b c}}
+@texline @math{a^{b c}}
 @infoline @expr{a^(b c)} 
 only when @expr{c} is an integer and @expr{b c} also
 evaluates to an integer.  Without these restrictions these simplifications
 would not be safe because of problems with principal values.
 (In other words, 
-@texline @tmath{((-3)^{1/2})^2}
+@texline @math{((-3)^{1/2})^2}
 @infoline @expr{((-3)^1:2)^2} 
 is safe to simplify, but
-@texline @tmath{((-3)^2)^{1/2}}
+@texline @math{((-3)^2)^{1/2}}
 @infoline @expr{((-3)^2)^1:2} 
 is not.)  @xref{Declarations}, for ways to inform Calc that your
 variables satisfy these requirements.
 
 As a special case of this rule, @expr{@t{sqrt}(x)^n} is simplified to
-@texline @tmath{x^{n/2}}
+@texline @math{x^{n/2}}
 @infoline @expr{x^(n/2)} 
 only for even integers @expr{n}.
 
@@ -22438,15 +22432,15 @@ even integer, or to @expr{-(a^b)} if @expr{b} is an odd integer,
 for any negative-looking expression @expr{-a}.
 
 Square roots @expr{@t{sqrt}(x)} generally act like one-half powers
-@texline @tmath{x^{1:2}}
+@texline @math{x^{1:2}}
 @infoline @expr{x^1:2} 
 for the purposes of the above-listed simplifications.
 
 Also, note that 
-@texline @tmath{1 / x^{1:2}}
+@texline @math{1 / x^{1:2}}
 @infoline @expr{1 / x^1:2} 
 is changed to 
-@texline @tmath{x^{-1:2}},
+@texline @math{x^{-1:2}},
 @infoline @expr{x^(-1:2)},
 but @expr{1 / @t{sqrt}(x)} is left alone.
 
@@ -22575,7 +22569,7 @@ property that real-valued numbers, interval forms and infinities
 come first, and are sorted into increasing order.  The @kbd{V S}
 command uses the same ordering when sorting a vector.
 
-Sorting of terms of products is inhibited when matrix mode is
+Sorting of terms of products is inhibited when Matrix mode is
 turned on; in this case, Calc will never exchange the order of
 two terms unless it knows at least one of the terms is a scalar.
 
@@ -22589,7 +22583,7 @@ Thus @expr{(x + y) (y + x)} will be simplified to @expr{(x + y)^2}.
 A subtle point is that @expr{(x - y) (y - x)} will @emph{not}
 be simplified to @expr{-(x - y)^2}; Calc does not notice that
 one term can be written as a constant times the other, even if
-that constant is @i{-1}.
+that constant is @mathit{-1}.
 
 A fraction times any expression, @expr{(a:b) x}, is changed to
 a quotient involving integers:  @expr{a x / b}.  This is not
@@ -22632,7 +22626,7 @@ Square roots of integer or rational arguments are simplified in
 several ways.  (Note that these will be left unevaluated only in
 Symbolic mode.)  First, square integer or rational factors are
 pulled out so that @expr{@t{sqrt}(8)} is rewritten as
-@texline @tmath{$2\,\t{sqrt}(2)$}.
+@texline @math{2\,\t{sqrt}(2)}.
 @infoline @expr{2 sqrt(2)}.  
 Conceptually speaking this implies factoring the argument into primes
 and moving pairs of primes out of the square root, but for reasons of
@@ -22694,23 +22688,23 @@ functions are known, except for negative arguments of @code{arcsin},
 @code{arctan}, @code{arcsinh}, and @code{arctanh}.  Note that
 @expr{@t{arcsin}(@t{sin}(x))} can @emph{not} safely change to
 @expr{x}, since this only correct within an integer multiple of 
-@texline @tmath{2 \pi}
+@texline @math{2 \pi}
 @infoline @expr{2 pi} 
 radians or 360 degrees.  However, @expr{@t{arcsinh}(@t{sinh}(x))} is
 simplified to @expr{x} if @expr{x} is known to be real.
 
 Several simplifications that apply to logarithms and exponentials
 are that @expr{@t{exp}(@t{ln}(x))}, 
-@texline @t{e}@tmath{^{\ln(x)}},
+@texline @t{e}@math{^{\ln(x)}},
 @infoline @expr{e^@t{ln}(x)}, 
 and
-@texline @tmath{10^{{\rm log10}(x)}}
+@texline @math{10^{{\rm log10}(x)}}
 @infoline @expr{10^@t{log10}(x)} 
 all reduce to @expr{x}.  Also, @expr{@t{ln}(@t{exp}(x))}, etc., can
 reduce to @expr{x} if @expr{x} is provably real.  The form
 @expr{@t{exp}(x)^y} is simplified to @expr{@t{exp}(x y)}.  If @expr{x}
 is a suitable multiple of 
-@texline @tmath{\pi i} 
+@texline @math{\pi i} 
 @infoline @expr{pi i}
 (as described above for the trigonometric functions), then
 @expr{@t{exp}(x)} or @expr{e^x} will be expanded.  Finally,
@@ -22795,18 +22789,18 @@ are folded down to the 360-degree range that the inverse trigonometric
 functions always produce.
 
 Powers of powers @expr{(x^a)^b} are simplified to 
-@texline @tmath{x^{a b}}
+@texline @math{x^{a b}}
 @infoline @expr{x^(a b)}
 for all @expr{a} and @expr{b}.  These results will be valid only
 in a restricted range of @expr{x}; for example, in 
-@texline @tmath{(x^2)^{1:2}}
+@texline @math{(x^2)^{1:2}}
 @infoline @expr{(x^2)^1:2}
 the powers cancel to get @expr{x}, which is valid for positive values
 of @expr{x} but not for negative or complex values.
 
 Similarly, @expr{@t{sqrt}(x^a)} and @expr{@t{sqrt}(x)^a} are both
 simplified (possibly unsafely) to 
-@texline @tmath{x^{a/2}}.
+@texline @math{x^{a/2}}.
 @infoline @expr{x^(a/2)}.
 
 Forms like @expr{@t{sqrt}(1 - sin(x)^2)} are simplified to, e.g.,
@@ -22882,7 +22876,7 @@ number for an answer, then the quotient simplifies to that number.
 For powers and square roots, the ``unsafe'' simplifications
 @expr{(a b)^c} to @expr{a^c b^c}, @expr{(a/b)^c} to @expr{a^c / b^c},
 and @expr{(a^b)^c} to 
-@texline @tmath{a^{b c}}
+@texline @math{a^{b c}}
 @infoline @expr{a^(b c)} 
 are done if the powers are real numbers.  (These are safe in the context
 of units because all numbers involved can reasonably be assumed to be
@@ -22897,10 +22891,10 @@ is simplified by noting that @expr{1.5 = 3:2}, that @samp{acre}
 is defined in terms of @samp{m^2}, and that the 2 in the power of
 @code{m} is a multiple of 2 in @expr{3:2}.  Thus, @code{acre^1.5} is
 replaced by approximately 
-@texline @tmath{(4046 m^2)^{1.5}}
+@texline @math{(4046 m^2)^{1.5}}
 @infoline @expr{(4046 m^2)^1.5}, 
 which is then changed to 
-@texline @tmath{4046^{1.5} \, (m^2)^{1.5}},
+@texline @math{4046^{1.5} \, (m^2)^{1.5}},
 @infoline @expr{4046^1.5 (m^2)^1.5}, 
 then to @expr{257440 m^3}.
 
@@ -23183,14 +23177,14 @@ With a numeric prefix argument @var{n}, this command computes the
 @var{n}th derivative.
 
 When working with trigonometric functions, it is best to switch to
-radians mode first (with @w{@kbd{m r}}).  The derivative of @samp{sin(x)}
+Radians mode first (with @w{@kbd{m r}}).  The derivative of @samp{sin(x)}
 in degrees is @samp{(pi/180) cos(x)}, probably not the expected
 answer!
 
 If you use the @code{deriv} function directly in an algebraic formula,
 you can write @samp{deriv(f,x,x0)} which represents the derivative
 of @expr{f} with respect to @expr{x}, evaluated at the point 
-@texline @tmath{x=x_0}.
+@texline @math{x=x_0}.
 @infoline @expr{x=x0}.
 
 If the formula being differentiated contains functions which Calc does
@@ -23230,7 +23224,7 @@ all integrable functions, but it is able to integrate several large
 classes of formulas.  In particular, any polynomial or rational function
 (a polynomial divided by a polynomial) is acceptable.  (Rational functions
 don't have to be in explicit quotient form, however; 
-@texline @tmath{x/(1+x^{-2})}
+@texline @math{x/(1+x^{-2})}
 @infoline @expr{x/(1+x^-2)}
 is not strictly a quotient of polynomials, but it is equivalent to
 @expr{x^3/(x^2+1)}, which is.)  Also, square roots of terms involving
@@ -23256,7 +23250,7 @@ integral $\int_a^b f(x) \, dx$.
 Please note that the current implementation of Calc's integrator sometimes
 produces results that are significantly more complex than they need to
 be.  For example, the integral Calc finds for 
-@texline @tmath{1/(x+\sqrt{x^2+1})}
+@texline @math{1/(x+\sqrt{x^2+1})}
 @infoline @expr{1/(x+sqrt(x^2+1))}
 is several times more complicated than the answer Mathematica
 returns for the same input, although the two forms are numerically
@@ -23264,17 +23258,17 @@ equivalent.  Also, any indefinite integral should be considered to have
 an arbitrary constant of integration added to it, although Calc does not
 write an explicit constant of integration in its result.  For example,
 Calc's solution for 
-@texline @tmath{1/(1+\tan x)}
+@texline @math{1/(1+\tan x)}
 @infoline @expr{1/(1+tan(x))} 
 differs from the solution given in the @emph{CRC Math Tables} by a
 constant factor of  
-@texline @tmath{\pi i / 2}
+@texline @math{\pi i / 2}
 @infoline @expr{pi i / 2},
 due to a different choice of constant of integration.
 
 The Calculator remembers all the integrals it has done.  If conditions
 change in a way that would invalidate the old integrals, say, a switch
-from degrees to radians mode, then they will be thrown out.  If you
+from Degrees to Radians mode, then they will be thrown out.  If you
 suspect this is not happening when it should, use the
 @code{calc-flush-caches} command; @pxref{Caches}.
 
@@ -23328,7 +23322,7 @@ in your @code{IntegRules}.
 As a more serious example, the expression @samp{exp(x)/x} cannot be
 integrated in terms of the standard functions, so the ``exponential
 integral'' function 
-@texline @tmath{{\rm Ei}(x)}
+@texline @math{{\rm Ei}(x)}
 @infoline @expr{Ei(x)} 
 was invented to describe it.
 We can get Calc to do this integral in terms of a made-up @code{Ei}
@@ -23501,16 +23495,16 @@ form @expr{X = 0}.
 This command also works for inequalities, as in @expr{y < 3x + 6}.
 Some inequalities cannot be solved where the analogous equation could
 be; for example, solving 
-@texline @tmath{a < b \, c}
+@texline @math{a < b \, c}
 @infoline @expr{a < b c} 
 for @expr{b} is impossible
 without knowing the sign of @expr{c}.  In this case, @kbd{a S} will
 produce the result 
-@texline @tmath{b \mathbin{\hbox{\code{!=}}} a/c}
+@texline @math{b \mathbin{\hbox{\code{!=}}} a/c}
 @infoline @expr{b != a/c} 
 (using the not-equal-to operator) to signify that the direction of the
 inequality is now unknown.  The inequality 
-@texline @tmath{a \le b \, c}
+@texline @math{a \le b \, c}
 @infoline @expr{a <= b c} 
 is not even partially solved.  @xref{Declarations}, for a way to tell
 Calc that the signs of the variables in a formula are in fact known.
@@ -23537,7 +23531,7 @@ Some equations have more than one solution.  The Hyperbolic flag
 general family of solutions.  It will invent variables @code{n1},
 @code{n2}, @dots{}, which represent independent arbitrary integers, and
 @code{s1}, @code{s2}, @dots{}, which represent independent arbitrary
-signs (either @i{+1} or @i{-1}).  If you don't use the Hyperbolic
+signs (either @mathit{+1} or @mathit{-1}).  If you don't use the Hyperbolic
 flag, Calc will use zero in place of all arbitrary integers, and plus
 one in place of all arbitrary signs.  Note that variables like @code{n1}
 and @code{s1} are not given any special interpretation in Calc except by
@@ -23633,10 +23627,10 @@ which can be solved for @expr{x^3} using the quadratic equation, and then
 for @expr{x} by taking cube roots.  But in many cases, like
 @expr{x^6 + x + 1}, Calc does not know how to rewrite the polynomial
 into a form it can solve.  The @kbd{a P} command can still deliver a
-list of numerical roots, however, provided that symbolic mode (@kbd{m s})
-is not turned on.  (If you work with symbolic mode on, recall that the
+list of numerical roots, however, provided that Symbolic mode (@kbd{m s})
+is not turned on.  (If you work with Symbolic mode on, recall that the
 @kbd{N} (@code{calc-eval-num}) key is a handy way to reevaluate the
-formula on the stack with symbolic mode temporarily off.)  Naturally,
+formula on the stack with Symbolic mode temporarily off.)  Naturally,
 @kbd{a P} can only provide numerical roots if the polynomial coefficients
 are all numbers (real or complex).
 
@@ -23970,11 +23964,11 @@ with the minimum value itself.
 
 Note that this command looks for a @emph{local} minimum.  Many functions
 have more than one minimum; some, like 
-@texline @tmath{x \sin x},
+@texline @math{x \sin x},
 @infoline @expr{x sin(x)}, 
 have infinitely many.  In fact, there is no easy way to define the
 ``global'' minimum of 
-@texline @tmath{x \sin x}
+@texline @math{x \sin x}
 @infoline @expr{x sin(x)} 
 but Calc can still locate any particular local minimum
 for you.  Calc basically goes downhill from the initial guess until it
@@ -24097,7 +24091,7 @@ the @dfn{parameters} of the model.
 The @kbd{a F} command takes the data set to be fitted from the stack.
 By default, it expects the data in the form of a matrix.  For example,
 for a linear or polynomial fit, this would be a 
-@texline @tmath{2\times N}
+@texline @math{2\times N}
 @infoline 2xN
 matrix where the first row is a list of @expr{x} values and the second
 row has the corresponding @expr{y} values.  For the multilinear fit
@@ -24105,10 +24099,10 @@ shown above, the matrix would have four rows (@expr{x_1}, @expr{x_2},
 @expr{x_3}, and @expr{y}, respectively).
 
 If you happen to have an 
-@texline @tmath{N\times2}
+@texline @math{N\times2}
 @infoline Nx2
 matrix instead of a 
-@texline @tmath{2\times N}
+@texline @math{2\times N}
 @infoline 2xN
 matrix, just press @kbd{v t} first to transpose the matrix.
 
@@ -24206,11 +24200,11 @@ which is clearly zero if @expr{a + b x} exactly fits all data points,
 and increases as various @expr{a + b x_i} values fail to match the
 corresponding @expr{y_i} values.  There are several reasons why the
 summand is squared, one of them being to ensure that 
-@texline @tmath{\chi^2 \ge 0}.
+@texline @math{\chi^2 \ge 0}.
 @infoline @expr{chi^2 >= 0}.
 Least-squares fitting simply chooses the values of @expr{a} and @expr{b}
 for which the error 
-@texline @tmath{\chi^2}
+@texline @math{\chi^2}
 @infoline @expr{chi^2} 
 is as small as possible.
 
@@ -24251,9 +24245,9 @@ Note that since the constant and linear terms are enough to fit the
 data exactly, it's no surprise that Calc chose a tiny contribution
 for @expr{x^2}.  (The fact that it's not exactly zero is due only
 to roundoff error.  Since our data are exact integers, we could get
-an exact answer by typing @kbd{m f} first to get fraction mode.
+an exact answer by typing @kbd{m f} first to get Fraction mode.
 Then the @expr{x^2} term would vanish altogether.  Usually, though,
-the data being fitted will be approximate floats so fraction mode
+the data being fitted will be approximate floats so Fraction mode
 won't help.)
 
 Doing the @kbd{a F 2} fit on the data set with 14 instead of 13
@@ -24266,7 +24260,7 @@ line slightly to improve the fit.
 
 An important result from the theory of polynomial fitting is that it
 is always possible to fit @var{n} data points exactly using a polynomial
-of degree @i{@var{n}-1}, sometimes called an @dfn{interpolating polynomial}.
+of degree @mathit{@var{n}-1}, sometimes called an @dfn{interpolating polynomial}.
 Using the modified (14) data matrix, a model number of 4 gives
 a polynomial that exactly matches all five data points:
 
@@ -24278,7 +24272,7 @@ The actual coefficients we get with a precision of 12, like
 @expr{0.0416666663588}, clearly suffer from loss of precision.
 It is a good idea to increase the working precision to several
 digits beyond what you need when you do a fitting operation.
-Or, if your data are exact, use fraction mode to get exact
+Or, if your data are exact, use Fraction mode to get exact
 results.
 
 You can type @kbd{i} instead of a digit at the model prompt to fit
@@ -24371,10 +24365,10 @@ contain error forms.  The data values must either all include errors
 or all be plain numbers.  Error forms can go anywhere but generally
 go on the numbers in the last row of the data matrix.  If the last
 row contains error forms
-@texline `@var{y_i}@w{ @t{+/-} }@tmath{\sigma_i}', 
+@texline `@var{y_i}@w{ @t{+/-} }@math{\sigma_i}', 
 @infoline `@var{y_i}@w{ @t{+/-} }@var{sigma_i}', 
 then the 
-@texline @tmath{\chi^2}
+@texline @math{\chi^2}
 @infoline @expr{chi^2}
 statistic is now,
 
@@ -24397,7 +24391,7 @@ the fitting operation.
 If there are error forms on other rows of the data matrix, all the
 errors for a given data point are combined; the square root of the
 sum of the squares of the errors forms the 
-@texline @tmath{\sigma_i}
+@texline @math{\sigma_i}
 @infoline @expr{sigma_i} 
 used for the data point.
 
@@ -24407,14 +24401,14 @@ probably use @kbd{H a F} so that the output also contains error
 estimates.
 
 If the input contains error forms but all the 
-@texline @tmath{\sigma_i}
+@texline @math{\sigma_i}
 @infoline @expr{sigma_i} 
 values are the same, it is easy to see that the resulting fitted model
 will be the same as if the input did not have error forms at all 
-@texline (@tmath{\chi^2}
+@texline (@math{\chi^2}
 @infoline (@expr{chi^2}
 is simply scaled uniformly by 
-@texline @tmath{1 / \sigma^2},
+@texline @math{1 / \sigma^2},
 @infoline @expr{1 / sigma^2}, 
 which doesn't affect where it has a minimum).  But there @emph{will} be
 a difference in the estimated errors of the coefficients reported by
@@ -24449,20 +24443,20 @@ will have length @expr{M = d+1} with the constant term first.
 @item
 The covariance matrix @expr{C} computed from the fit.  This is
 an @var{m}x@var{m} symmetric matrix; the diagonal elements
-@texline @tmath{C_{jj}}
+@texline @math{C_{jj}}
 @infoline @expr{C_j_j} 
 are the variances 
-@texline @tmath{\sigma_j^2}
+@texline @math{\sigma_j^2}
 @infoline @expr{sigma_j^2} 
 of the parameters.  The other elements are covariances
-@texline @tmath{\sigma_{ij}^2} 
+@texline @math{\sigma_{ij}^2} 
 @infoline @expr{sigma_i_j^2} 
 that describe the correlation between pairs of parameters.  (A related
 set of numbers, the @dfn{linear correlation coefficients} 
-@texline @tmath{r_{ij}},
+@texline @math{r_{ij}},
 @infoline @expr{r_i_j},
 are defined as 
-@texline @tmath{\sigma_{ij}^2 / \sigma_i \, \sigma_j}.)
+@texline @math{\sigma_{ij}^2 / \sigma_i \, \sigma_j}.)
 @infoline @expr{sigma_i_j^2 / sigma_i sigma_j}.)
 
 @item
@@ -24473,11 +24467,11 @@ polynomial and multilinear fits described so far.
 
 @item
 The value of 
-@texline @tmath{\chi^2}
+@texline @math{\chi^2}
 @infoline @expr{chi^2} 
 for the fit, calculated by the formulas shown above.  This gives a
 measure of the quality of the fit; statisticians consider
-@texline @tmath{\chi^2 \approx N - M}
+@texline @math{\chi^2 \approx N - M}
 @infoline @expr{chi^2 = N - M} 
 to indicate a moderately good fit (where again @expr{N} is the number of
 data points and @expr{M} is the number of parameters).
@@ -24486,13 +24480,13 @@ data points and @expr{M} is the number of parameters).
 A measure of goodness of fit expressed as a probability @expr{Q}.
 This is computed from the @code{utpc} probability distribution
 function using 
-@texline @tmath{\chi^2}
+@texline @math{\chi^2}
 @infoline @expr{chi^2} 
 with @expr{N - M} degrees of freedom.  A
 value of 0.5 implies a good fit; some texts recommend that often
 @expr{Q = 0.1} or even 0.001 can signify an acceptable fit.  In
 particular, 
-@texline @tmath{\chi^2}
+@texline @math{\chi^2}
 @infoline @expr{chi^2} 
 statistics assume the errors in your inputs
 follow a normal (Gaussian) distribution; if they don't, you may
@@ -24501,7 +24495,7 @@ have to accept smaller values of @expr{Q}.
 The @expr{Q} value is computed only if the input included error
 estimates.  Otherwise, Calc will report the symbol @code{nan}
 for @expr{Q}.  The reason is that in this case the 
-@texline @tmath{\chi^2}
+@texline @math{\chi^2}
 @infoline @expr{chi^2}
 value has effectively been used to estimate the original errors
 in the input, and thus there is no redundant information left
@@ -24520,31 +24514,31 @@ Here is a complete list of the standard models recognized by @kbd{a F}:
 
 @table @kbd
 @item 1
-Linear or multilinear.  @i{a + b x + c y + d z}.
+Linear or multilinear.  @mathit{a + b x + c y + d z}.
 @item 2-9
-Polynomials.  @i{a + b x + c x^2 + d x^3}.
+Polynomials.  @mathit{a + b x + c x^2 + d x^3}.
 @item e
-Exponential.  @i{a} @t{exp}@i{(b x)} @t{exp}@i{(c y)}.
+Exponential.  @mathit{a} @t{exp}@mathit{(b x)} @t{exp}@mathit{(c y)}.
 @item E
-Base-10 exponential.  @i{a} @t{10^}@i{(b x)} @t{10^}@i{(c y)}.
+Base-10 exponential.  @mathit{a} @t{10^}@mathit{(b x)} @t{10^}@mathit{(c y)}.
 @item x
-Exponential (alternate notation).  @t{exp}@i{(a + b x + c y)}.
+Exponential (alternate notation).  @t{exp}@mathit{(a + b x + c y)}.
 @item X
-Base-10 exponential (alternate).  @t{10^}@i{(a + b x + c y)}.
+Base-10 exponential (alternate).  @t{10^}@mathit{(a + b x + c y)}.
 @item l
-Logarithmic.  @i{a + b} @t{ln}@i{(x) + c} @t{ln}@i{(y)}.
+Logarithmic.  @mathit{a + b} @t{ln}@mathit{(x) + c} @t{ln}@mathit{(y)}.
 @item L
-Base-10 logarithmic.  @i{a + b} @t{log10}@i{(x) + c} @t{log10}@i{(y)}.
+Base-10 logarithmic.  @mathit{a + b} @t{log10}@mathit{(x) + c} @t{log10}@mathit{(y)}.
 @item ^
-General exponential.  @i{a b^x c^y}.
+General exponential.  @mathit{a b^x c^y}.
 @item p
-Power law.  @i{a x^b y^c}.
+Power law.  @mathit{a x^b y^c}.
 @item q
-Quadratic.  @i{a + b (x-c)^2 + d (x-e)^2}.
+Quadratic.  @mathit{a + b (x-c)^2 + d (x-e)^2}.
 @item g
 Gaussian.  
-@texline @tmath{{a \over b \sqrt{2 \pi}} \exp\left( -{1 \over 2} \left( x - c \over b \right)^2 \right)}.
-@infoline @i{(a / b sqrt(2 pi)) exp(-0.5*((x-c)/b)^2)}.
+@texline @math{{a \over b \sqrt{2 \pi}} \exp\left( -{1 \over 2} \left( x - c \over b \right)^2 \right)}.
+@infoline @mathit{(a / b sqrt(2 pi)) exp(-0.5*((x-c)/b)^2)}.
 @end table
 
 All of these models are used in the usual way; just press the appropriate
@@ -24656,18 +24650,18 @@ Calc uses the principal values of inverse functions like @code{ln}
 and @code{arcsin} when doing fits.  For example, when you enter
 the model @samp{y = sin(a t + b)} Calc actually uses the easier
 form @samp{arcsin(y) = a t + b}.  The @code{arcsin} function always
-returns results in the range from @i{-90} to 90 degrees (or the
+returns results in the range from @mathit{-90} to 90 degrees (or the
 equivalent range in radians).  Suppose you had data that you
 believed to represent roughly three oscillations of a sine wave,
 so that the argument of the sine might go from zero to 
-@texline @tmath{3\times360}
-@infoline @i{3*360} 
+@texline @math{3\times360}
+@infoline @mathit{3*360} 
 degrees.
 The above model would appear to be a good way to determine the
 true frequency and phase of the sine wave, but in practice it
 would fail utterly.  The righthand side of the actual model
 @samp{arcsin(y) = a t + b} will grow smoothly with @expr{t}, but
-the lefthand side will bounce back and forth between @i{-90} and 90.
+the lefthand side will bounce back and forth between @mathit{-90} and 90.
 No values of @expr{a} and @expr{b} can make the two sides match,
 even approximately.
 
@@ -24722,16 +24716,16 @@ ln(y) = ln(a) + b ln(x)
 
 @noindent
 which matches the desired form with 
-@texline @tmath{Y = \ln(y)},
+@texline @math{Y = \ln(y)},
 @infoline @expr{Y = ln(y)}, 
-@texline @tmath{A = \ln(a)},
+@texline @math{A = \ln(a)},
 @infoline @expr{A = ln(a)},
 @expr{F = 1}, @expr{B = b}, and 
-@texline @tmath{G = \ln(x)}.
+@texline @math{G = \ln(x)}.
 @infoline @expr{G = ln(x)}.  
 Calc thus computes the logarithms of your @expr{y} and @expr{x} values,
 does a linear fit for @expr{A} and @expr{B}, then solves to get 
-@texline @tmath{a = \exp(A)} 
+@texline @math{a = \exp(A)} 
 @infoline @expr{a = exp(A)} 
 and @expr{b = B}.
 
@@ -24745,7 +24739,7 @@ y = a + b c^2 - 2 b c x + b x^2
 
 @noindent
 which matches with @expr{Y = y}, @expr{A = a + b c^2}, @expr{F = 1},
-@expr{B = -2 b c}, @expr{G = x} (the @i{-2} factor could just as easily
+@expr{B = -2 b c}, @expr{G = x} (the @mathit{-2} factor could just as easily
 have been put into @expr{G} instead of @expr{B}), @expr{C = b}, and
 @expr{H = x^2}.
 
@@ -24777,7 +24771,7 @@ from the list of parameters when you answer the variables prompt.
 A last desperate step would be to use the general-purpose
 @code{minimize} function rather than @code{fit}.  After all, both
 functions solve the problem of minimizing an expression (the 
-@texline @tmath{\chi^2}
+@texline @math{\chi^2}
 @infoline @expr{chi^2}
 sum) by adjusting certain parameters in the expression.  The @kbd{a F}
 command is able to use a vastly more efficient algorithm due to its
@@ -24788,7 +24782,7 @@ A compromise would be to pick out a few parameters without which the
 fit is linearizable, and use @code{minimize} on a call to @code{fit}
 which efficiently takes care of the rest of the parameters.  The thing
 to be minimized would be the value of 
-@texline @tmath{\chi^2}
+@texline @math{\chi^2}
 @infoline @expr{chi^2} 
 returned as the fifth result of the @code{xfit} function:
 
@@ -24848,11 +24842,11 @@ and @expr{y} to be plain numbers, and makes @expr{z} into an error
 form with this combined error.  The @expr{Y(x,y,z)} part of the
 linearized model is evaluated, and the result should be an error
 form.  The error part of that result is used for 
-@texline @tmath{\sigma_i}
+@texline @math{\sigma_i}
 @infoline @expr{sigma_i} 
 for the data point.  If for some reason @expr{Y(x,y,z)} does not return 
 an error form, the combined error from @expr{z} is used directly for 
-@texline @tmath{\sigma_i}.
+@texline @math{\sigma_i}.
 @infoline @expr{sigma_i}.  
 Finally, @expr{z} is also stripped of its error
 for use in computing @expr{F(x,y,z)}, @expr{G(x,y,z)} and so on;
@@ -24864,7 +24858,7 @@ the most reasonable thing in the typical case that @expr{Y(x,y,z)}
 depends only on the dependent variable @expr{z}, and in fact is
 often simply equal to @expr{z}.  For common cases like polynomials
 and multilinear models, the combined error is simply used as the
-@texline @tmath{\sigma}
+@texline @math{\sigma}
 @infoline @expr{sigma} 
 for the data point with no further ado.)
 
@@ -25218,7 +25212,7 @@ If the lower limit is greater than the upper limit (assuming a
 positive step size), the result is generally zero.  However,
 Calc only guarantees a zero result when the upper limit is
 exactly one step less than the lower limit, i.e., if the number
-of iterations is @i{-1}.  Thus @samp{sum(f(k), k, n, n-1)} is zero
+of iterations is @mathit{-1}.  Thus @samp{sum(f(k), k, n, n-1)} is zero
 but the sum from @samp{n} to @samp{n-2} may report a nonzero value
 if Calc used a closed form solution.
 
@@ -25244,7 +25238,7 @@ formula works out to the indeterminate form @expr{0 / 0}, which
 Calc will not assume is zero.  Better would be to use
 @samp{(k != k_0) ? 1/(k-k_0) : 0}; the @samp{? :} operator does
 an ``if-then-else'' test:  This expression says, ``if 
-@texline @tmath{k \ne k_0},
+@texline @math{k \ne k_0},
 @infoline @expr{k != k_0},
 then @expr{1/(k-k_0)}, else zero.''  Now the formula @expr{1/(k-k_0)}
 will not even be evaluated by Calc when @expr{k = k_0}.
@@ -25949,12 +25943,12 @@ like @samp{(x + y) + (z - w)}, are not tried.
 
 Note that @samp{*} is not commutative when applied to matrices, but
 rewrite rules pretend that it is.  If you type @kbd{m v} to enable
-matrix mode (@pxref{Matrix Mode}), rewrite rules will match @samp{*}
+Matrix mode (@pxref{Matrix Mode}), rewrite rules will match @samp{*}
 literally, ignoring its usual commutativity property.  (In the
 current implementation, the associativity also vanishes---it is as
 if the pattern had been enclosed in a @code{plain} marker; see below.)
 If you are applying rewrites to formulas with matrices, it's best to
-enable matrix mode first to prevent algebraically incorrect rewrites
+enable Matrix mode first to prevent algebraically incorrect rewrites
 from occurring.
 
 The pattern @samp{-x} will actually match any expression.  For example,
@@ -26259,16 +26253,16 @@ then the rule set @samp{[f(0) := 0, import(linearF)]} will apply
 all three rules.  It is possible to modify the imported rules
 slightly:  @samp{import(x, v1, x1, v2, x2, @dots{})} imports
 the rule set @expr{x} with all occurrences of 
-@texline @tmath{v_1},
+@texline @math{v_1},
 @infoline @expr{v1}, 
 as either a variable name or a function name, replaced with 
-@texline @tmath{x_1}
+@texline @math{x_1}
 @infoline @expr{x1} 
 and so on.  (If 
-@texline @tmath{v_1}
+@texline @math{v_1}
 @infoline @expr{v1} 
 is used as a function name, then 
-@texline @tmath{x_1}
+@texline @math{x_1}
 @infoline @expr{x1}
 must be either a function name itself or a @w{@samp{< >}} nameless
 function; @pxref{Specifying Operators}.)  For example, @samp{[g(0) := 0,
@@ -26431,8 +26425,8 @@ You must use @code{apply} for meta-variables with function names
 on both sides of a rewrite rule:  @samp{apply(f, [x]) := f(x+1)}
 is @emph{not} correct, because it rewrites @samp{spam(6)} into
 @samp{f(7)}.  The righthand side should be @samp{apply(f, [x+1])}.
-Also note that you will have to use no-simplify (@kbd{m O})
-mode when entering this rule so that the @code{apply} isn't
+Also note that you will have to use No-Simplify mode (@kbd{m O})
+when entering this rule so that the @code{apply} isn't
 evaluated immediately to get the new rule @samp{f(x) := f(x+1)}.
 Or, use @kbd{s e} to enter the rule without going through the stack,
 or enter the rule as @samp{apply(f, [x]) := apply(f, [x+1]) @w{:: 1}}.
@@ -27167,7 +27161,7 @@ To apply these manually, you could put them in a variable called
 to expand trig functions.  But if instead you store them in the
 variable @code{EvalRules}, they will automatically be applied to all
 sines and cosines of sums.  Then, with @samp{2 x} and @samp{45} on
-the stack, typing @kbd{+ S} will (assuming degrees mode) result in
+the stack, typing @kbd{+ S} will (assuming Degrees mode) result in
 @samp{0.7071 sin(2 x) + 0.7071 cos(2 x)} automatically.
 
 As each level of a formula is evaluated, the rules from
@@ -27243,11 +27237,11 @@ number @expr{(2, 3)}, Calc computes @samp{sqrt(2*2 + 3*3)} by calling
 the multiplication, addition, and square root functions directly rather
 than applying the default simplifications to this formula.  So an
 @code{EvalRules} rule that (perversely) rewrites @samp{sqrt(13) := 6}
-would not apply.  (However, if you put Calc into symbolic mode so that
+would not apply.  (However, if you put Calc into Symbolic mode so that
 @samp{sqrt(13)} will be left in symbolic form by the built-in square
 root function, your rule will be able to apply.  But if the complex
 number were @expr{(3,4)}, so that @samp{sqrt(25)} must be calculated,
-then symbolic mode will not help because @samp{sqrt(25)} can be
+then Symbolic mode will not help because @samp{sqrt(25)} can be
 evaluated exactly to 5.)
 
 One subtle restriction that normally only manifests itself with
@@ -27354,7 +27348,7 @@ A surprisingly useful rewrite rule is @samp{a/(b-c) := a*(b+c)/(b^2-c^2)}.
 This will simplify the formula whenever @expr{b} and/or @expr{c} can
 be made simpler by squaring.  For example, applying this rule to
 @samp{2 / (sqrt(2) + 3)} yields @samp{6:7 - 2:7 sqrt(2)} (assuming
-Symbolic Mode has been enabled to keep the square root from being
+Symbolic mode has been enabled to keep the square root from being
 evaluated to a floating-point approximation).  This rule is also
 useful when working with symbolic complex numbers, e.g.,
 @samp{(a + b i) / (c + d i)}.
@@ -27464,7 +27458,7 @@ formula @samp{1 mm} is ``simplified'' to @samp{mm}.  This is only a
 display anomaly, however; @samp{mm} will work just fine as a
 representation of one millimeter.
 
-You may find that Algebraic Mode (@pxref{Algebraic Entry}) makes working
+You may find that Algebraic mode (@pxref{Algebraic Entry}) makes working
 with units expressions easier.  Otherwise, you will have to remember
 to hit the apostrophe key every time you wish to enter units.
 
@@ -27734,7 +27728,7 @@ in its normal terms, and @kbd{u b} expresses the definition in base
 units.
 
 Two units, @code{pi} and @code{fsc} (the fine structure constant,
-approximately @i{1/137}) are dimensionless.  The units simplification
+approximately @mathit{1/137}) are dimensionless.  The units simplification
 commands simply treat these names as equivalent to their corresponding
 values.  However you can, for example, use @kbd{u c} to convert a pure
 number into multiples of the fine structure constant, or @kbd{u b} to
@@ -27951,10 +27945,10 @@ All the arithmetic stores accept the Inverse prefix to reverse the
 order of the operands.  If @expr{v} represents the contents of the
 variable, and @expr{a} is the value drawn from the stack, then regular
 @w{@kbd{s -}} assigns 
-@texline @tmath{v \coloneq v - a},
+@texline @math{v \coloneq v - a},
 @infoline @expr{v := v - a}, 
 but @kbd{I s -} assigns
-@texline @tmath{v \coloneq a - v}.
+@texline @math{v \coloneq a - v}.
 @infoline @expr{v := a - v}.  
 While @kbd{I s *} might seem pointless, it is
 useful if matrix multiplication is involved.  Actually, all the
@@ -28353,11 +28347,11 @@ including the current simplification mode.  Recall that the
 formula @samp{x + y + x} is not handled by Calc's default
 simplifications, but the @kbd{a s} command will reduce it to
 the simpler form @samp{y + 2 x}.  You can also type @kbd{m A}
-to enable an algebraic-simplification mode in which the
+to enable an Algebraic Simplification mode in which the
 equivalent of @kbd{a s} is used on all of Calc's results.
 If you enter @samp{x + y + x =>} normally, the result will
 be @samp{x + y + x => x + y + x}.  If you change to
-algebraic-simplification mode, the result will be
+Algebraic Simplification mode, the result will be
 @samp{x + y + x => y + 2 x}.  However, just pressing @kbd{a s}
 once will have no effect on @samp{x + y + x => x + y + x},
 because the righthand side depends only on the lefthand side
@@ -28396,13 +28390,13 @@ side effects.
 @pindex calc-assign
 @tindex assign
 @tindex :=
-Embedded Mode also uses @samp{=>} operators.  In embedded mode,
+Embedded mode also uses @samp{=>} operators.  In Embedded mode,
 the lefthand side of an @samp{=>} operator can refer to variables
 assigned elsewhere in the file by @samp{:=} operators.  The
 assignment operator @samp{a := 17} does not actually do anything
-by itself.  But Embedded Mode recognizes it and marks it as a sort
+by itself.  But Embedded mode recognizes it and marks it as a sort
 of file-local definition of the variable.  You can enter @samp{:=}
-operators in algebraic mode, or by using the @kbd{s :}
+operators in Algebraic mode, or by using the @kbd{s :}
 (@code{calc-assign}) [@code{assign}] command which takes a variable
 and value from the stack and replaces them with an assignment.
 
@@ -28541,7 +28535,7 @@ the same length); either or both may instead be interval forms.  The
 ``z'' value must be a matrix with the same number of rows as elements
 in ``x'', and the same number of columns as elements in ``y''.  The
 result is a surface plot where 
-@texline @tmath{z_{ij}}
+@texline @math{z_{ij}}
 @infoline @expr{z_ij} 
 is the height of the point
 at coordinate @expr{(x_i, y_j)} on the surface.  The 3D graph will
@@ -28652,7 +28646,7 @@ values covered by all the curves ought to be roughly the same if
 they are to look nice on the same graph.)
 
 For example, to plot 
-@texline @tmath{\sin n x}
+@texline @math{\sin n x}
 @infoline @expr{sin(n x)} 
 for integers @expr{n}
 from 1 to 5, you could use @kbd{v x} to create a vector of integers
@@ -28903,7 +28897,7 @@ values, but if you store a vector of integers in one of these variables,
 the @kbd{g a} and @kbd{g f} commands will use those style numbers
 instead of the defaults for new curves that are added to the graph.
 An entry should be a positive integer for a specific style, or 0 to let
-the style be chosen automatically, or @i{-1} to turn off lines or points
+the style be chosen automatically, or @mathit{-1} to turn off lines or points
 altogether.  If there are more curves than elements in the vector, the
 last few curves will continue to have the default styles.  Of course,
 you can later use @kbd{g s} and @kbd{g S} to change any of these styles.
@@ -28942,7 +28936,7 @@ picture of the graph composed of characters like @code{-} and @code{|}
 to a buffer called @samp{*Gnuplot Trail*}, which Calc then displays.
 The graph is made the same size as the Emacs screen, which on most
 dumb terminals will be 
-@texline @tmath{80\times24}
+@texline @math{80\times24}
 @infoline 80x24
 characters.  The graph is displayed in
 an Emacs ``recursive edit''; type @kbd{q} or @kbd{M-# M-#} to exit
@@ -29103,7 +29097,7 @@ killing GNUPLOT because you think it has gotten stuck.
 The commands in this chapter move information between the Calculator and
 other Emacs editing buffers.
 
-In many cases Embedded Mode is an easier and more natural way to
+In many cases Embedded mode is an easier and more natural way to
 work with Calc from a regular editing buffer.  @xref{Embedded Mode}.
 
 @menu
@@ -29252,7 +29246,7 @@ would correctly split the line into two error forms.
 
 @xref{Matrix Functions}, to see how to pull the matrix apart into its
 constituent rows and columns.  (If it is a 
-@texline @tmath{1\times1}
+@texline @math{1\times1}
 @infoline 1x1
 matrix, just hit @kbd{v u} (@code{calc-unpack}) twice.)
 
@@ -29374,7 +29368,7 @@ just by double-clicking on it in the shell, then middle-clicking
 in the Calc window.
 
 @node Keypad Mode, Embedded Mode, Kill and Yank, Introduction
-@chapter ``Keypad'' Mode
+@chapter Keypad Mode
 
 @noindent
 @kindex M-# k
@@ -29383,7 +29377,7 @@ The @kbd{M-# k} (@code{calc-keypad}) command starts the Calculator
 and displays a picture of a calculator-style keypad.  If you are using
 the X window system, you can click on any of the ``keys'' in the
 keypad using the left mouse button to operate the calculator.
-The original window remains the selected window; in keypad mode
+The original window remains the selected window; in Keypad mode
 you can type in your file while simultaneously performing
 calculations with the mouse.
 
@@ -29399,11 +29393,11 @@ the @samp{*Calc Keypad*} window, place the cursor on the desired
 ``key,'' and type @key{SPC} or @key{RET}.  If you think this
 is easier than using Calc normally, go right ahead.
 
-Calc commands are more or less the same in keypad mode.  Certain
+Calc commands are more or less the same in Keypad mode.  Certain
 keypad keys differ slightly from the corresponding normal Calc
 keystrokes; all such deviations are described below.
 
-Keypad Mode includes many more commands than will fit on the keypad
+Keypad mode includes many more commands than will fit on the keypad
 at once.  Click the right mouse button [@code{calc-keypad-menu}]
 to switch to the next menu.  The bottom five rows of the keypad
 stay the same; the top three rows change to a new set of commands.
@@ -29451,7 +29445,7 @@ original buffer.
 @end smallexample
 
 @noindent
-This is the menu that appears the first time you start Keypad Mode.
+This is the menu that appears the first time you start Keypad mode.
 It will show up in a vertical window on the right side of your screen.
 Above this menu is the traditional Calc stack display.  On a 24-line
 screen you will be able to see the top three stack entries.
@@ -29468,7 +29462,7 @@ At other times it changes the sign of the number on the top of the
 stack.
 
 The @key{INV} and @key{HYP} keys modify other keys.  As well as
-having the effects described elsewhere in this manual, Keypad Mode
+having the effects described elsewhere in this manual, Keypad mode
 defines several other ``inverse'' operations.  These are described
 below and in the following sections.
 
@@ -29488,7 +29482,7 @@ The @key{EXEC} key prompts you to enter any keystroke sequence
 that would normally work in Calc mode.  This can include a
 numeric prefix if you wish.  It is also possible simply to
 switch into the Calc window and type commands in it; there is
-nothing ``magic'' about this window when Keypad Mode is active.
+nothing ``magic'' about this window when Keypad mode is active.
 
 The other keys in this display perform their obvious calculator
 functions.  @key{CLN2} rounds the top-of-stack by temporarily
@@ -29590,7 +29584,7 @@ same limit as last time.
 @key{INV GCD} computes the LCM (least common multiple) function.
 
 @key{INV FACT} is the gamma function.  
-@texline @tmath{\Gamma(x) = (x-1)!}.
+@texline @math{\Gamma(x) = (x-1)!}.
 @infoline @expr{gamma(x) = (x-1)!}.
 
 @key{PERM} is the number-of-permutations function, which is on the
@@ -29767,16 +29761,16 @@ The @key{OVER} key duplicates the second-to-top stack element.
 The @key{STO} and @key{RCL} keys are analogous to @kbd{s t} and
 @kbd{s r} in regular Calc.  @xref{Store and Recall}.  Click the
 @key{STO} or @key{RCL} key, then one of the ten digits.  (Named
-variables are not available in Keypad Mode.)  You can also use,
+variables are not available in Keypad mode.)  You can also use,
 for example, @kbd{STO + 3} to add to register 3.
 
 @node Embedded Mode, Programming, Keypad Mode, Top
 @chapter Embedded Mode
 
 @noindent
-Embedded Mode in Calc provides an alternative to copying numbers
+Embedded mode in Calc provides an alternative to copying numbers
 and formulas back and forth between editing buffers and the Calc
-stack.  In Embedded Mode, your editing buffer becomes temporarily
+stack.  In Embedded mode, your editing buffer becomes temporarily
 linked to the stack and this copying is taken care of automatically.
 
 @menu
@@ -29801,7 +29795,7 @@ are visiting your own files.
 
 Calc normally scans backward and forward in the buffer for the
 nearest opening and closing @dfn{formula delimiters}.  The simplest
-delimiters are blank lines.  Other delimiters that Embedded Mode
+delimiters are blank lines.  Other delimiters that Embedded mode
 understands are:
 
 @enumerate
@@ -30359,15 +30353,15 @@ use @kbd{M-# u} to update the buffer by hand.
 @section Mode Settings in Embedded Mode
 
 @noindent
-Embedded Mode has a rather complicated mechanism for handling mode
+Embedded mode has a rather complicated mechanism for handling mode
 settings in Embedded formulas.  It is possible to put annotations
 in the file that specify mode settings either global to the entire
 file or local to a particular formula or formulas.  In the latter
 case, different modes can be specified for use when a formula
-is the enabled Embedded Mode formula.
+is the enabled Embedded mode formula.
 
-When you give any mode-setting command, like @kbd{m f} (for fraction
-mode) or @kbd{d s} (for scientific notation), Embedded Mode adds
+When you give any mode-setting command, like @kbd{m f} (for Fraction
+mode) or @kbd{d s} (for scientific notation), Embedded mode adds
 a line like the following one to the file just before the opening
 delimiter of the formula.
 
@@ -30420,7 +30414,7 @@ sure the value is of a legal type or range; if you write an
 annotation by hand, be sure to give a proper value or results
 will be unpredictable.  Mode-setting annotations are case-sensitive.
 
-While Embedded Mode is enabled, the word @code{Local} appears in
+While Embedded mode is enabled, the word @code{Local} appears in
 the mode line.  This is to show that mode setting commands generate
 annotations that are ``local'' to the current formula or set of
 formulas.  The @kbd{m R} (@code{calc-mode-record-mode}) command
@@ -30436,7 +30430,7 @@ that look like this, respectively:
 @end example
 
 The first kind of annotation will be used only while a formula
-is enabled in Embedded Mode.  The second kind will be used only
+is enabled in Embedded mode.  The second kind will be used only
 when the formula is @emph{not} enabled.  (Whether the formula
 is ``active'' or not, i.e., whether Calc has seen this formula
 yet, is not relevant here.)
@@ -30478,21 +30472,21 @@ We would have to go down to the other formula and press @kbd{M-# u}
 on it in order to get it to notice the new annotation.
 
 Two more mode-recording modes selectable by @kbd{m R} are @code{Save}
-(which works even outside of Embedded Mode), in which mode settings
+(which works even outside of Embedded mode), in which mode settings
 are recorded permanently in your Emacs startup file @file{~/.emacs}
 rather than by annotating the current document, and no-recording
 mode (where there is no symbol like @code{Save} or @code{Local} in
 the mode line), in which mode-changing commands do not leave any
 annotations at all.
 
-When Embedded Mode is not enabled, mode-recording modes except
+When Embedded mode is not enabled, mode-recording modes except
 for @code{Save} have no effect.
 
 @node Customizing Embedded Mode, , Mode Settings in Embedded Mode, Embedded Mode
 @section Customizing Embedded Mode
 
 @noindent
-You can modify Embedded Mode's behavior by setting various Lisp
+You can modify Embedded mode's behavior by setting various Lisp
 variables described here.  Use @kbd{M-x set-variable} or
 @kbd{M-x edit-options} to adjust a variable on the fly, or
 put a suitable @code{setq} statement in your @file{~/.emacs}
@@ -30502,7 +30496,7 @@ file; @pxref{File Variables, , Local Variables in Files, emacs, the
 Emacs manual}.)
 
 While none of these variables will be buffer-local by default, you
-can make any of them local to any embedded-mode buffer.  (Their
+can make any of them local to any Embedded mode buffer.  (Their
 values in the @samp{*Calculator*} buffer are never used.)
 
 @vindex calc-embedded-open-formula
@@ -30591,7 +30585,7 @@ The default string is @code{"%%% "} (note the trailing space).
 @vindex calc-embedded-close-plain
 The @code{calc-embedded-close-plain} variable is a string which
 ends a ``plain'' formula.  The default is @code{" %%%\n"}.  Without
-the trailing newline here, the first line of a ``big'' mode formula
+the trailing newline here, the first line of a Big mode formula
 that followed might be shifted over with respect to the other lines.
 
 @vindex calc-embedded-open-new-formula
@@ -31018,7 +31012,7 @@ forced to use upward-counting conventions.  In this case, if @var{initial}
 is greater than @var{final} the body will not be executed at all.
 Note that @var{step} may still be negative in this loop; the prefix
 argument merely constrains the loop-finished test.  Likewise, a prefix
-argument of @i{-1} forces downward-counting conventions.
+argument of @mathit{-1} forces downward-counting conventions.
 
 @kindex Z @{
 @kindex Z @}
@@ -31052,7 +31046,7 @@ conditional and looping commands.
 @cindex Restoring saved modes
 Keyboard macros sometimes want to operate under known conditions
 without affecting surrounding conditions.  For example, a keyboard
-macro may wish to turn on Fraction Mode, or set a particular
+macro may wish to turn on Fraction mode, or set a particular
 precision, independent of the user's normal setting for those
 modes.
 
@@ -31101,7 +31095,7 @@ for all mode-setting commands inside the macro.
 In fact, @kbd{C-u Z `} is like @kbd{Z `} except that it sets the modes
 listed above to their default values.  As usual, the matching @kbd{Z '}
 will restore the modes to their settings from before the @kbd{C-u Z `}.
-Also, @w{@kbd{Z `}} with a negative prefix argument resets algebraic mode
+Also, @w{@kbd{Z `}} with a negative prefix argument resets the algebraic mode
 to its default (off) but leaves the other modes the same as they were
 outside the construct.
 
@@ -31989,7 +31983,7 @@ same thing with a single division by 512.
 @tindex mysin
 A somewhat limited sine function could be defined as follows, using the
 well-known Taylor series expansion for 
-@texline @tmath{\sin x}:
+@texline @math{\sin x}:
 @infoline @samp{sin(x)}:
 
 @smallexample
@@ -32173,7 +32167,7 @@ If the first argument to @code{calc-eval} is a list whose first
 element is a formula string, then @code{calc-eval} sets all the
 various Calc modes to their default values while the formula is
 evaluated and formatted.  For example, the precision is set to 12
-digits, digit grouping is turned off, and the normal language
+digits, digit grouping is turned off, and the Normal language
 mode is used.
 
 This same principle applies to the other options discussed below.
@@ -32196,7 +32190,7 @@ It's usually best to use this form of @code{calc-eval} unless your
 program actually considers the interaction with Calc's mode settings
 to be a feature.  This will avoid all sorts of potential ``gotchas'';
 consider what happens with @samp{(calc-eval "sqrt(2)" 'num)}
-when the user has left Calc in symbolic mode or no-simplify mode.
+when the user has left Calc in Symbolic mode or No-Simplify mode.
 
 As another example, @samp{(equal (calc-eval '("$<$$") nil a b) "1")}
 checks if the number in string @expr{a} is less than the one in
@@ -32512,10 +32506,10 @@ which is not a Lisp list.
 Large integers are stored as lists of the form @samp{(bigpos @var{d0}
 @var{d1} @var{d2} @dots{})} for positive integers 1000000 or more, or
 @samp{(bigneg @var{d0} @var{d1} @var{d2} @dots{})} for negative integers
-@i{-1000000} or less.  Each @var{d} is a base-1000 ``digit,'' a Lisp integer
+@mathit{-1000000} or less.  Each @var{d} is a base-1000 ``digit,'' a Lisp integer
 from 0 to 999.  The least significant digit is @var{d0}; the last digit,
 @var{dn}, which is always nonzero, is the most significant digit.  For
-example, the integer @i{-12345678} is stored as @samp{(bigneg 678 345 12)}.
+example, the integer @mathit{-12345678} is stored as @samp{(bigneg 678 345 12)}.
 
 The distinction between small and large integers is entirely hidden from
 the user.  In @code{defmath} definitions, the Lisp predicate @code{integerp}
@@ -32536,7 +32530,7 @@ Floating-point numbers are stored in the form, @samp{(float @var{mant}
 @samp{10^@var{p}} in absolute value (@var{p} represents the current
 precision), and @var{exp} (the ``exponent'') is a fixnum.  The value of
 the float is @samp{@var{mant} * 10^@var{exp}}.  For example, the number
-@i{-3.14} is stored as @samp{(float -314 -2) = -314*10^-2}.  Other constraints
+@mathit{-3.14} is stored as @samp{(float -314 -2) = -314*10^-2}.  Other constraints
 are that the number 0.0 is always stored as @samp{(float 0 0)}, and,
 except for the 0.0 case, the rightmost base-10 digit of @var{mant} is
 always nonzero.  (If the rightmost digit is zero, the number is
@@ -32772,7 +32766,7 @@ will be used.
 This function takes a Calc object and ``normalizes'' it.  At the very
 least this involves re-rounding floating-point values according to the
 current precision and other similar jobs.  Also, unless the user has
-selected no-simplify mode (@pxref{Simplification Modes}), this involves
+selected No-Simplify mode (@pxref{Simplification Modes}), this involves
 actually evaluating a formula object by executing the function calls
 it contains, and possibly also doing algebraic simplification, etc.
 @end defun
@@ -32848,7 +32842,7 @@ is applied to the top stack element, or, if @var{unary} is not
 specified, nothing happens.  When the argument is two or more,
 the binary function @var{func} is reduced across the top @var{arg}
 stack elements; when the argument is negative, the function is
-mapped between the next-to-top @i{-@var{arg}} stack elements and the
+mapped between the next-to-top @mathit{-@var{arg}} stack elements and the
 top element.
 @end defun
 
@@ -33134,13 +33128,13 @@ function call which led here will be left in symbolic form.
 @end defun
 
 @defun inexact-value
-If Symbolic Mode is enabled, this will signal an error that causes
+If Symbolic mode is enabled, this will signal an error that causes
 @code{normalize} to leave the formula in symbolic form, with the message
-``Inexact result.''  (This function has no effect when not in Symbolic Mode.)
-Note that if your function calls @samp{(sin 5)} in Symbolic Mode, the
+``Inexact result.''  (This function has no effect when not in Symbolic mode.)
+Note that if your function calls @samp{(sin 5)} in Symbolic mode, the
 @code{sin} function will call @code{inexact-value}, which will cause your
 function to be left unsimplified.  You may instead wish to call
-@samp{(normalize (list 'calcFunc-sin 5))}, which in Symbolic Mode will
+@samp{(normalize (list 'calcFunc-sin 5))}, which in Symbolic mode will
 return the formula @samp{sin(5)} to your function.
 @end defun
 
@@ -33186,9 +33180,9 @@ number of parameters, or because it returns @code{nil} or calls
 @code{reject-arg} or @code{inexact-result}, @code{normalize} returns
 the formula still in symbolic form.
 
-If the current Simplification Mode is ``none'' or ``numeric arguments
+If the current simplification mode is ``none'' or ``numeric arguments
 only,'' @code{normalize} will act appropriately.  However, the more
-powerful simplification modes (like algebraic simplification) are
+powerful simplification modes (like Algebraic Simplification) are
 not handled by @code{normalize}.  They are handled by @code{calc-normalize},
 which calls @code{normalize} and possibly some other routines, such
 as @code{simplify} or @code{simplify-units}.  Programs generally will
@@ -33267,7 +33261,7 @@ or formula, this calls @code{reject-arg}.
 @end defun
 
 @defun compare x y
-Compare the numbers @var{x} and @var{y}, and return @i{-1} if
+Compare the numbers @var{x} and @var{y}, and return @mathit{-1} if
 @samp{(lessp @var{x} @var{y})}, 1 if @samp{(lessp @var{y} @var{x})},
 0 if @samp{(math-equal @var{x} @var{y})}, or 2 if the order is
 undefined or cannot be determined.
@@ -33280,7 +33274,7 @@ considered to have zero digits.
 @end defun
 
 @defun scale-int x n
-Shift integer @var{x} left @var{n} decimal digits, or right @i{-@var{n}}
+Shift integer @var{x} left @var{n} decimal digits, or right @mathit{-@var{n}}
 digits with truncation toward zero.
 @end defun
 
@@ -33376,7 +33370,7 @@ again to 30 digits for use in the present request.
 If the current angular mode is Degrees or HMS, this function returns the
 integer 360.  In Radians mode, this function returns either the
 corresponding value in radians to the current precision, or the formula
-@samp{2*pi}, depending on the Symbolic Mode.  There are also similar
+@samp{2*pi}, depending on the Symbolic mode.  There are also similar
 function @code{half-circle} and @code{quarter-circle}.
 @end defun
 
@@ -33434,12 +33428,12 @@ If @var{a} is a formula, this returns the formula @samp{deg(@var{a})}.
 @end defun
 
 @defun to-radians-2 a
-Like @code{to-radians}, except that in Symbolic Mode a degrees to
+Like @code{to-radians}, except that in Symbolic mode a degrees to
 radians conversion yields a formula like @samp{@var{a}*pi/180}.
 @end defun
 
 @defun from-radians-2 a
-Like @code{from-radians}, except that in Symbolic Mode a radians to
+Like @code{from-radians}, except that in Symbolic mode a radians to
 degrees conversion yields a formula like @samp{@var{a}*180/pi}.
 @end defun
 
@@ -33488,7 +33482,7 @@ function @code{frac}, and can be rather slow.
 @defun quarter-integer n
 If @var{n} is an integer or integer-valued float, this function
 returns zero.  If @var{n} is a half-integer (i.e., an integer plus
-@i{1:2} or 0.5), it returns 2.  If @var{n} is a quarter-integer,
+@mathit{1:2} or 0.5), it returns 2.  If @var{n} is a quarter-integer,
 it returns 1 or 3.  If @var{n} is anything else, this function
 returns @code{nil}.
 @end defun
@@ -35631,8 +35625,8 @@ input data set.  Each entry may be a single value or a vector of values.
 @c 20
 @item
 With a prefix argument of 1, take a single 
-@texline @tmath{@var{n}\times2}
-@infoline @i{@var{N}x2} 
+@texline @var{n}@math{\times2}
+@infoline @mathit{@var{N}x2} 
 matrix from the stack instead of two separate data vectors.
 
 @c 21
@@ -35834,7 +35828,7 @@ to evaluate variables.
 The variable is replaced by the formula shown on the right.  The
 Inverse flag reverses the order of the operands, e.g., @kbd{I s - x}
 assigns 
-@texline @tmath{x \coloneq a-x}.
+@texline @math{x \coloneq a-x}.
 @infoline @expr{x := a-x}.
 
 @c 48
@@ -35842,7 +35836,7 @@ assigns
 Press @kbd{?} repeatedly to see how to choose a model.  Answer the
 variables prompt with @expr{iv} or @expr{iv;pv} to specify
 independent and parameter variables.  A positive prefix argument
-takes @i{@var{n}+1} vectors from the stack; a zero prefix takes a matrix
+takes @mathit{@var{n}+1} vectors from the stack; a zero prefix takes a matrix
 and a vector from the stack.
 
 @c 49
diff --git a/man/cc-mode.texi b/man/cc-mode.texi
index 2c0933a5335..89e49d67442 100644
--- a/man/cc-mode.texi
+++ b/man/cc-mode.texi
@@ -1420,7 +1420,7 @@ then as the comment prefix.  It defaults to @samp{*
 @code{c-block-comment-prefix} typically gets overriden by the default
 style @code{gnu}, which sets it to blank.  You can see the line
 splitting effect described here by setting a different style,
-e.g. @code{k&r} @xref{Choosing a Style}}, which makes a comment
+e.g. @code{k&r} @xref{Choosing a Style}.}, which makes a comment
 
 @example
 /* Got O(n^2) here, which is a Bad Thing. */
@@ -1643,7 +1643,7 @@ trailing backslashes.
 @cindex font locking
 @comment !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
 
-@strong{Note:} The font locking in AWK mode is currently not integrated
+@strong{Please note:} The font locking in AWK mode is currently not integrated
 with the rest of @ccmode{}, so this section does not apply there.
 @xref{AWK Mode Font Locking}, instead.
 
diff --git a/man/dired.texi b/man/dired.texi
index f19ce7e1ab0..1c5e29fe696 100644
--- a/man/dired.texi
+++ b/man/dired.texi
@@ -89,7 +89,7 @@ so common in Dired that it deserves to be easy to type.)  @key{DEL}
 (move up and unflag) is often useful simply for moving up.
 
 @findex dired-goto-file
-@kindex M-g
+@kindex M-g @r{(Dired)}
   @kbd{M-g} (@code{dired-goto-file}) moves point to the line that
 describes a specified file or directory.
 
@@ -1113,7 +1113,7 @@ and erases all flags and marks.
 @table @kbd
 @item w
 @cindex Adding to the kill ring in Dired.
-@kindex w
+@kindex w @r{(Dired)}
 @findex dired-copy-filename-as-kill
 The @kbd{w} command (@code{dired-copy-filename-as-kill}) puts the
 names of the marked (or next @var{n}) files into the kill ring, as if
diff --git a/man/gnus-faq.texi b/man/gnus-faq.texi
index 5d243f8a02e..280280a401e 100644
--- a/man/gnus-faq.texi
+++ b/man/gnus-faq.texi
@@ -1414,7 +1414,7 @@ Answer:
  message. For a follow up to a newsgroup, it's
  @samp{f} and @samp{F}
  (analog to @samp{r} and
- @samp{R}.
+ @samp{R}).
  
 
  Enter new headers above the line saying "--text follows
diff --git a/man/mark.texi b/man/mark.texi
index b4154f9c3ae..c37bd7857e0 100644
--- a/man/mark.texi
+++ b/man/mark.texi
@@ -191,7 +191,9 @@ You can activate the new region by executing @kbd{C-x C-x}
 (@code{exchange-point-and-mark}).
 
 @item
-@kbd{C-s} when the mark is active does not alter the mark.
+Commands that normally set the mark before moving long distances (like
+@kbd{M-<} and @kbd{C-s}) do not alter the mark in Transient Mark mode
+when the mark is active.
 
 @item
 Some commands operate on the region if a region is active.  For
@@ -320,6 +322,8 @@ next balanced expression (@pxref{Expressions}).  These commands handle
 arguments just like @kbd{M-f} and @kbd{C-M-f}.  If you repeat these
 commands, the region is extended.  For example, you can type either
 @kbd{C-u 2 M-@@} or @kbd{M-@@ M-@@} to mark the next two words.
+The region is also extended when the mark is active in Transient Mark
+mode, regardless of the last command.
 
 @kindex C-x h
 @findex mark-whole-buffer
@@ -382,9 +386,10 @@ the same buffer.
   Many commands that can move long distances, such as @kbd{M-<}
 (@code{beginning-of-buffer}), start by setting the mark and saving the
 old mark on the mark ring.  This is to make it easier for you to move
-back later.  Searches set the mark if they move point.  You can tell
-when a command sets the mark because it displays @samp{Mark set} in the
-echo area.
+back later.  Searches set the mark if they move point.  However, in
+Transient Mark mode, these commands do not set the mark when the mark
+is already active.  You can tell when a command sets the mark because
+it displays @samp{Mark set} in the echo area.
 
   If you want to move back to the same place over and over, the mark
 ring may not be convenient enough.  If so, you can record the position
diff --git a/man/misc.texi b/man/misc.texi
index 2adef51b8ce..e4b2806c673 100644
--- a/man/misc.texi
+++ b/man/misc.texi
@@ -2219,7 +2219,7 @@ which has a similar feature of its own.
 @subsection Finding Files and URLs at Point
 @findex find-file-at-point
 @findex ffap
-@findex ffap-dired-at-point
+@findex dired-at-point
 @findex ffap-next
 @findex ffap-menu
 @cindex finding file at point
@@ -2248,18 +2248,36 @@ make the following key bindings and to install hooks for using
 @kindex C-x C-f @r{(FFAP)}
 Find @var{filename}, guessing a default from text around point
 (@code{find-file-at-point}).
+@item C-x C-r
+@kindex C-x C-r @r{(FFAP)}
+@code{ffap-read-only}, analogous to @code{find-file-read-only}.
+@item C-x C-v
+@kindex C-x C-v @r{(FFAP)}
+@code{ffap-alternate-file}, analogous to @code{find-alternate-file}.
+@item C-x d @var{directory} @key{RET}
+@kindex C-x d @r{(FFAP)}
+Start Dired on @var{directory}, defaulting to the directory name at
+point (@code{dired-at-point}).
+@item C-x C-d
+@code{ffap-list-directory}, analogous to @code{list-directory}.
 @item C-x 4 f
 @kindex C-x 4 f @r{(FFAP)}
 @code{ffap-other-window}, analogous to @code{find-file-other-window}.
+@item C-x 4 r
+@code{ffap-read-only-other-window}, analogous to
+@code{find-file-read-only-other-window}.
+@item C-x 4 d
+@code{ffap-dired-other-window}, analogous to @code{dired-other-window}.
 @item C-x 5 f
 @kindex C-x 5 f @r{(FFAP)}
 @code{ffap-other-frame}, analogous to @code{find-file-other-frame}.
+@item C-x 5 r
+@code{ffap-read-only-other-frame}, analogous to
+@code{find-file-read-only-other-frame}.
+@item C-x 5 d
+@code{ffap-dired-other-frame}, analogous to @code{dired-other-frame}.
 @item M-x ffap-next
 Search buffer for next file name or URL, then find that file or URL.
-@item C-x d @var{directory} @key{RET}
-@kindex C-x d @r{(FFAP)}
-Start Dired on @var{directory}, defaulting to the directory name at
-point (@code{ffap-dired-at-point}).
 @item S-Mouse-3
 @kindex S-Mouse-3 @r{(FFAP)}
 @code{ffap-at-mouse} finds the file guessed from text around the position
diff --git a/man/trampver.texi b/man/trampver.texi
index 743b49388f7..45cbefb72ac 100644
--- a/man/trampver.texi
+++ b/man/trampver.texi
@@ -4,7 +4,7 @@
 @c In the Tramp CVS, the version number is auto-frobbed from
 @c configure.ac, so you should edit that file and run
 @c "autoconf && ./configure" to change the version number.
-@set trampver 2.0.45
+@set trampver 2.0.46
 
 @c Other flags from configuration
 @set prefix /usr/local
diff --git a/man/url.texi b/man/url.texi
index 5f36826d926..f5c15e2dff5 100644
--- a/man/url.texi
+++ b/man/url.texi
@@ -27,7 +27,7 @@ Copyright (C) 1993, 1994, 1995, 1996  William M. Perry
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.1 or
 any later version published by the Free Software Foundation; with the
-Invariant Sections being 
+Invariant Sections being
 ``GNU GENERAL PUBLIC LICENSE''.  A copy of the
 license is included in the section entitled ``GNU Free Documentation
 License.''
@@ -74,9 +74,9 @@ License.''
 * General Facilities::          URLs can be cached, accessed via a gateway
                                 and tracked in a history list.
 * Customization::               Variables you can alter.
-* Function Index::              
-* Variable Index::              
-* Concept Index::               
+* Function Index::
+* Variable Index::
+* Concept Index::
 @end menu
 
 @node Getting Started
@@ -115,7 +115,7 @@ The meaning of
 the @var{path} component depends on the service.
 
 @menu
-* Configuration::               
+* Configuration::
 * Parsed URLs::                 URLs are parsed into vector structures.
 @end menu
 
@@ -204,7 +204,7 @@ Recreates a URL string from the parsed @var{url}.
 @defun url-retrieve-synchronously url
 Retrieve @var{url} synchronously and return a buffer containing the
 data.  @var{url} is either a string or a parsed URL structure.  Return
-@var{nil} if there are no data associated with it (the case for dired,
+@code{nil} if there are no data associated with it (the case for dired,
 info, or mailto URLs that need no further processing).
 @end defun
 
@@ -214,7 +214,7 @@ Retrieve @var{url} asynchronously and call @var{callback} with args
 has been completely retrieved, with the current buffer containing the
 object and any MIME headers associated with it.  @var{url} is either a
 string or a parsed URL structure.  Returns the buffer @var{url} will
-load into, or @var{nil} if the process has already completed.
+load into, or @code{nil} if the process has already completed.
 @end defun
 
 @node Supported URL Types
@@ -222,7 +222,7 @@ load into, or @var{nil} if the process has already completed.
 
 @menu
 * http/https::                  Hypertext Transfer Protocol.
-* file/ftp::                    Local files and FTP archives. 
+* file/ftp::                    Local files and FTP archives.
 * info::                        Emacs `Info' pages.
 * mailto::                      Sending email.
 * news/nntp/snews::             Usenet news.
@@ -235,7 +235,7 @@ load into, or @var{nil} if the process has already completed.
 @c * netrek::
 @c * prospero::
 * cid::                         Content-ID.
-* about::                       
+* about::
 * ldap::                        Lightweight Directory Access Protocol
 * imap::                        IMAP mailboxes.
 * man::                         Unix man pages.
@@ -273,10 +273,10 @@ otherwise the user will be asked on each request.
 
 
 @menu
-* Cookies::                     
-* HTTP language/coding::        
-* HTTP URL Options::            
-* Dealing with HTTP documents::  
+* Cookies::
+* HTTP language/coding::
+* HTTP URL Options::
+* Dealing with HTTP documents::
 @end menu
 
 @node Cookies
@@ -330,7 +330,7 @@ preferred character set encodings, e.g.@: Latin-9 or Big5, and these
 can be weighted.  In Emacs 21 this list is generated automatically
 from the list of defined coding systems which have associated MIME
 types.  These are sorted by coding priority.  @xref{Recognize Coding,
-, Recognizing Coding Systems, emacs, GNU Emacs Manual}.
+, Recognizing Coding Systems, emacs, The GNU Emacs Manual}.
 @end defopt
 
 @defopt url-mime-language-string
@@ -384,9 +384,9 @@ Currently this is just the raw header contents.
 
 HTTP URLs are retrieved into a buffer containing the HTTP headers
 followed by the body.  Since the headers are quasi-MIME, they may be
-processed using the MIME library.  @inforef{Top, The MIME library,
-emacs-mime}.  The URL package provides a function to do this in
-general:
+processed using the MIME library.  @xref{Top,, Emacs MIME,
+emacs-mime, The Emacs MIME Manual}.  The URL package provides a
+function to do this in general:
 
 @defun url-decode-text-part handle &optional coding
 This function decodes charset-encoded text in the current buffer.  In
@@ -414,8 +414,8 @@ file://@var{user}:@var{password}@@@var{host}:@var{port}/@var{file}
 @end example
 
 These schemes are defined in RFC 1808.
-@samp{ftp:} and @samp{file:} are synonomous in this library.  They
-allow reading arbitary files from hosts.  Either @samp{ange-ftp}
+@samp{ftp:} and @samp{file:} are synonymous in this library.  They
+allow reading arbitrary files from hosts.  Either @samp{ange-ftp}
 (Emacs) or @samp{efs} (XEmacs) is used to retrieve them from remote
 hosts.  Local files are accessed directly.
 
@@ -451,13 +451,13 @@ Info URLs are not officially defined.  They invoke
 @cindex email
 A mailto URL will send an email message to the address in the
 URL, for example @samp{mailto:foo@@bar.com} would compose a
-message to @samp{foo@@bar.com}.  
+message to @samp{foo@@bar.com}.
 
 @defopt url-mail-command
 @vindex mail-user-agent
 The function called whenever url needs to send mail.  This should
 normally be left to default from @var{mail-user-agent}.  @xref{Mail
-Methods, , Mail-Composition Methods, emacs, GNU Emacs Manual}.
+Methods, , Mail-Composition Methods, emacs, The GNU Emacs Manual}.
 @end defopt
 
 An @samp{X-Url-From} header field containing the URL of the document
@@ -468,7 +468,7 @@ The form of a mailto URL is
 @example
 @samp{mailto:@var{mailbox}[?@var{header}=@var{contents}[&@var{header}=@var{contents}]]}
 @end example
-@noindent where an arbitary number of @var{header}s can be added.  If the
+@noindent where an arbitrary number of @var{header}s can be added.  If the
 @var{header} is @samp{body}, then @var{contents} is put in the body
 otherwise a @var{header} header field is created with @var{contents}
 as its contents.  Note that the URL library does not consider any
@@ -493,11 +493,11 @@ fields may be included in news URLs though they are properly only
 allowed for nntp an snews.
 
 @table @samp
-@item news:@var{newsgroup} 
+@item news:@var{newsgroup}
 Retrieves a list of messages in @var{newsgroup};
 @item news:@var{message-id}
 Retrieves the message with the given @var{message-id};
-@item news:* 
+@item news:*
 Retrieves a list of all available newsgroups;
 @item nntp://@var{host}:@var{port}/@var{newsgroup}
 @itemx nntp://@var{host}:@var{port}/@var{message-id}
@@ -510,7 +510,7 @@ Similar to the @samp{news} versions.
 @samp{snews} is the same as @samp{nntp} except that the default port
 is :563.
 @cindex SSL
-(It is tunnelled through SSL.)
+(It is tunneled through SSL.)
 
 An @samp{nntp} URL is the same as a news URL, except that the URL may
 specify an article by its number.
@@ -550,9 +550,9 @@ Well-known ports are used if the URL does not specify a port.
 @cindex IRC
 @cindex Internet Relay Chat
 @cindex ZEN IRC
-@c Fixme: reference (was http://www.w3.org/Addressing/draft-mirashi-url-irc-01.txt) 
+@c Fixme: reference (was http://www.w3.org/Addressing/draft-mirashi-url-irc-01.txt)
 @dfn{Internet Relay Chat} (IRC) is handled by handing off the @sc{irc}
-session to a function named in @code{url-irc-function}.  
+session to a function named in @code{url-irc-function}.
 
 @defopt url-irc-function
 A function to actually open an IRC connection.
@@ -582,7 +582,7 @@ including parameters.  It defaults to
 @samp{text/plain;charset=US-ASCII}.  The @samp{text/plain} can be
 omitted but the charset parameter supplied.  If @samp{;base64} is
 present, the @var{data} are base64-encoded.
-  
+
 @node nfs
 @section nfs
 @cindex NFS
@@ -658,11 +658,11 @@ the Lisp @code{man} function.
 @chapter Defining New URLs
 
 @menu
-* Naming conventions::          
-* Required functions::          
-* Optional functions::          
-* Asynchronous fetching::       
-* Supporting file-name-handlers::  
+* Naming conventions::
+* Required functions::
+* Optional functions::
+* Asynchronous fetching::
+* Supporting file-name-handlers::
 @end menu
 
 @node Naming conventions
@@ -684,10 +684,10 @@ the Lisp @code{man} function.
 @chapter General Facilities
 
 @menu
-* Disk Caching::                
-* Proxies::                     
-* Gateways in general::         
-* History::                     
+* Disk Caching::
+* Proxies::
+* Gateways in general::
+* History::
 @end menu
 
 @node Disk Caching
@@ -761,7 +761,7 @@ more likely to conflict with other files.
 @end smallexample
 @end defun
 
-@c Fixme: never actually used currently? 
+@c Fixme: never actually used currently?
 @c @defopt url-standalone-mode
 @c @cindex Relying on cache
 @c @cindex Cache only mode
@@ -783,7 +783,7 @@ more likely to conflict with other files.
 @node Proxies
 @section Proxies and Gatewaying
 
-@c fixme: check/document url-ns stuff 
+@c fixme: check/document url-ns stuff
 @cindex proxy servers
 @cindex proxies
 @cindex environment variables
@@ -815,7 +815,7 @@ NO_PROXY="*.aventail.com,home.com,.seanet.com"
 @noindent says to contact all machines in the @samp{aventail.com} and
 @samp{seanet.com} domains directly, as well as the machine named
 @samp{home.com}.  If @code{NO_PROXY} isn't defined, @code{no_PROXY}
-and @code{no_proxy} are also tried, in that order.  
+and @code{no_proxy} are also tried, in that order.
 
 Proxies may also be specified directly in Lisp.
 
@@ -940,7 +940,7 @@ This specifies the default server, it takes the form
 where @var{version} can be either 4 or 5.
 @end defopt
 @defvar socks-password
-If this is @code{nil} then you will be asked for the passward,
+If this is @code{nil} then you will be asked for the password,
 otherwise it will be used as the password for authenticating you to
 the @sc{socks} server.
 @end defvar
@@ -980,9 +980,9 @@ This the @samp{nslookup} program.  It is @code{"nslookup"} by default.
 @end defopt
 
 @menu
-* Suppressing network connexions::  
+* Suppressing network connexions::
 @end menu
-@c * Broken hostname resolution::  
+@c * Broken hostname resolution::
 
 @node Suppressing network connexions
 @subsection Suppressing Network Connexions
@@ -1010,7 +1010,7 @@ opened by the URL library.
 @c @cindex resolver, hostname
 @c Some C libraries do not include the hostname resolver routines in
 @c their static libraries.  If Emacs was linked statically, and was not
-@c linked with the resolver libraries, it wil not be able to get to any
+@c linked with the resolver libraries, it will not be able to get to any
 @c machines off the local network.  This is characterized by being able
 @c to reach someplace with a raw ip number, but not its hostname
 @c (@url{http://129.79.254.191/} works, but
@@ -1052,8 +1052,8 @@ The history `list' is actually a hash table,
 strings.  The times are in the format returned by @code{current-time}.
 
 @defun url-history-update-url url time
-This function updates the hsitory table with an entry for @var{url}
-accessed at the gievn @var{time}.
+This function updates the history table with an entry for @var{url}
+accessed at the given @var{time}.
 @end defun
 
 @defopt url-history-track
@@ -1144,7 +1144,7 @@ function taking a single argument (the prompt) and returning @code{t}
 only if an affirmative answer is given.
 @end defopt
 @defopt url-gateway-method
-@c fixme: describe gatewaying 
+@c fixme: describe gatewaying
 A symbol specifying the type of gateway support to use fro connexions
 from the local machine.  The supported methods are: