\documentclass{gtart}

\usepackage{amssymb, amsmath}

%   Knuth's verbatim macro, " is used as the switch:

\catcode`\"=\active
{\obeyspaces\gdef {\ }}              
{\catcode`\`=\active\gdef`{\relax\lq}}
\def"{%
\begingroup\baselineskip=12pt\def\par{\leavevmode\endgraf}%
\tt\obeylines\obeyspaces\parskip=0pt\parindent=0pt%
\catcode`\$=12\catcode`\&=12\catcode`\^=12\catcode`\#=12%
\catcode`\_=12\catcode`\~=12%
\catcode`\{=12\catcode`\}=12\catcode`\%=12\catcode`\\=12%
\catcode`\`=\active\let"\endgroup}


\begin{document}  
\begin{center}
{\bf TYPING SYMBOLS}
\end{center}
\begin{center}
{\bf Igor Mineyev}
\end{center}
\bigskip


This is how some symbols in ``Flows and joins of metric spaces''
were produced in \LaTeX.
The way the symbols are typed depends on the document style.
This means that the \LaTeX\ codes below might need to be modified a bit.
Insert "\usepackage{amsmath}"
in the preamble.

\bigskip

$\raise0.1ex\hbox{$\circ\mspace{-9mu}*$}$
 
"     $\raise0.1ex\hbox{$\circ\mspace{-9mu}*$}"

\medskip

$\raise0.2ex\hbox{$\circ\mspace{-9mu}*$}\mspace{-1.5mu}X$

"     $\raise0.2ex\hbox{$\circ\mspace{-9mu}*$}\mspace{-1.5mu}X$"

\medskip

$\raise0.2ex\hbox{$\circ\mspace{-9mu}*$}\mspace{-1.5mu}\bar{X}$
 
"     $\raise0.2ex\hbox{$\circ\mspace{-9mu}*$}\mspace{-1.5mu}
         \bar{X}$"

\medskip

$\raise-0.3ex\hbox{$\scriptscriptstyle x_0$}\mspace{-15mu}
   {\raise0.22ex\hbox{$\circ$}\mspace{-12mu}\raise0.22ex\hbox{$*$}X}$

"     $\raise-0.3ex\hbox{$\scriptscriptstyle x_0$}\mspace{-15mu}
        {\raise0.22ex\hbox{$\circ$}\mspace{-12mu}
        \raise0.22ex\hbox{$*$}X}$"

\medskip

$\raise0.2ex\hbox{$*$}X$

"     $\raise0.2ex\hbox{$*$}X$"


\medskip

$\raise0.2ex\hbox{$*$}\bar{X}$

"     $\raise0.2ex\hbox{$*$}\bar{X}$"

\medskip

$\raise-0.3ex\hbox{$\scriptscriptstyle x_0$}\mspace{-15mu}
   {\raise0.22ex\hbox{$*$}X}$

"     $\raise-0.3ex\hbox{$\scriptscriptstyle x_0$}\mspace{-15mu}
        {\raise0.22ex\hbox{$*$}X}$"

\medskip

$\raise0.12ex\hbox{$\scriptscriptstyle\smallsmile$}
   \mspace{-12mu}\raise0.3ex\hbox{$*$}\bar{X}$

"     $\raise0.12ex\hbox{$\scriptscriptstyle\smallsmile$}
        \mspace{-12mu}\raise0.3ex\hbox{$*$}\bar{X}$"

\medskip

$\raise0.2ex\hbox{$\diamond$}X$

"     $\raise0.2ex\hbox{$\diamond$}X$"

\medskip

$\raise0.2ex\hbox{$\diamond$}\bar{X}$

"     $\raise0.2ex\hbox{$\diamond$}\bar{X}$"

\medskip

$\raise-0.3ex\hbox{$\scriptscriptstyle x_0$}
   {\mspace{-15mu}\raise0.3ex\hbox{$\diamond$}X}$

"     $\raise-0.3ex\hbox{$\scriptscriptstyle x_0$}
        {\mspace{-15mu}\raise0.3ex\hbox{$\diamond$}X}$"

\medskip

$\raise-0.3ex\hbox{$\scriptscriptstyle x_0$}
   {\mspace{-15mu}\raise0.3ex\hbox{$\diamond$}\bar{X}}$

"     $\raise-0.3ex\hbox{$\scriptscriptstyle x_0$}
        {\mspace{-15mu}\raise0.3ex\hbox{$\diamond$}\bar{X}}$"

\medskip

$\beta^{\scriptscriptstyle\times\!}_u(x,y)$

"     $\beta^{\scriptscriptstyle\times\!}_u(x,y)$"

\medskip

$d^{\scriptscriptstyle\times\!}(a,b)$

"     $d^{\scriptscriptstyle\times\!}(a,b)$"

\medskip

$[\![a,b;t]\!]$

"     $[\![a,b;t]\!]$"

\medskip

$|\![\cdot,\cdot|\cdot,\cdot]\!|$

"     $|\![\cdot,\cdot|\cdot,\cdot]\!|$"

\medskip

$\mspace{3mu}\hbox{$\sim$}\mspace{-14mu}\raise-0.5ex
\hbox{$\scriptscriptstyle +$}\mspace{8mu}$

"     $\mspace{3mu}\hbox{$\sim$}\mspace{-14mu}\raise-0.5ex
          \hbox{$\scriptscriptstyle +$}\mspace{8mu}$"




\end{document}  

