--- a/doc/refcard/txirefcard.tex
+++ b/doc/refcard/txirefcard.tex
@@ -348,9 +348,9 @@ http://www.gnupress.org} or write to the Free Software Foundation, Inc.,
 
 % @registeredsymbol - R in a circle.
 \def\registeredsymbol{%
- $^{{\ooalign{\hfil\raise.07ex\hbox{\fiverm R}%
+ \raise.8ex\hbox{{{\ooalign{\hfil\raise.07ex\hbox{\fiverm R}%
               \hfil\crcr\Orb}}%
-   }$%
+   }}%
 }
 
 \def\ordf{\leavevmode\raise1ex\hbox{\fiverm \underbar{a}}}
@@ -536,7 +536,7 @@ which they conventionally appear.
 address@hidden \var{text} even more strongly, by using bold where possible; still enclosed in asterisks in Info.}
 address@hidden a meta variable (a name that stands for another piece of text).}
 address@hidden the introductory or defining use of a technical term.}
address@hidden an acronym written in all captial letters, such as `\acro{NASA}'.}
address@hidden an acronym written in all capital letters, such as `\acro{NASA}'.}
 address@hidden a general abbreviation, such as `Comput.'}
 
 \subsection{Markup for literal text}
@@ -556,7 +556,7 @@ which they conventionally appear.
 \subsection{GUI sequences}
 
 address@hidden address@hidden \var{action} \dots}}{Represent a sequence of \acro{GUI} actions or clicks.}
address@hidden a single `click' in a address@hidden
address@hidden a single `click' in a address@hidden
 address@hidden@}cmd}{Execute address@hidden for each address@hidden; default is address@hidden Empty braces usually following address@hidden are omitted here.}
 address@hidden a right arrow glyph, $\rightarrow$.}
 
@@ -732,7 +732,7 @@ exception of address@hidden
 address@hidden an end-of-sentence ellipsis, `\dots' (more following space in \TeX.)}
 address@hidden the Euro currency sign, \euro.}
 address@hidden the pounds sterling currency sign, {\it\$}.}
address@hidden the degree symbol, $^\circ$.}
address@hidden the degree symbol, \raise.8ex\hbox{$\circ$}.}
 address@hidden the copyright symbol, \copyright.}
 address@hidden the registered symbol, \registeredsymbol.}
 address@hidden the \TeX\ logo.}
@@ -821,7 +821,7 @@ Descriptive text follows, ended by address@hidden \var{defcmdname}}.
 \section{Conditionally (in)visible text}
 
 address@hidden a comment in Texinfo. The rest of the line is not visible in any output.}
address@hidden for address@hidden  \code{DEL} also starts a comrment.}
address@hidden for address@hidden  \code{DEL} also starts a comment.}
 address@hidden@end ignore}}{Text that will not appear in any output.}
 
 \subsection{Output formats}
@@ -853,7 +853,7 @@ Descriptive text follows, ended by address@hidden \var{defcmdname}}.
 address@hidden address@hidden ifset}}{If \var{name} is set, format enclosed text.}
 address@hidden address@hidden ifclear}}{If \var{name} is not set, format enclosed text.}
 address@hidden, text}}{If \var{name} is set, format \var{text}.}
address@hidden, text}}{If \var{name} is notset, format \var{text}.}
address@hidden, text}}{If \var{name} is not set, format \var{text}.}
 
 \subsection{Testing for commands}