\begin{picture}(0,0)%
\includegraphics{figs/StrandDoubling.pstex}%
\end{picture}%
%
%  pstex_opts: -m 0.75 
%
\setlength{\unitlength}{2960sp}%
%
\begingroup\makeatletter\ifx\SetFigFontNFSS\undefined%
\gdef\SetFigFontNFSS#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(1707,2640)(-614,-2089)
\put(-449,-511){\makebox(0,0)[b]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$k$}%
}}}}
\put(376,-1561){\makebox(0,0)[b]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$+$}%
}}}}
\put(676,-920){\makebox(0,0)[b]{\smash{{\SetFigFontNFSS{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$+$}%
}}}}
\put(-577,-1111){\makebox(0,0)[lb]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$k$}%
}}}}
\put(-599,-1561){\makebox(0,0)[lb]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$:=$}%
}}}}
\put(-599,-2011){\makebox(0,0)[lb]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$=:x+y$}%
}}}}
\put(-449, 89){\makebox(0,0)[b]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$k$}%
}}}}
\put(226,164){\makebox(0,0)[b]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$u_k$}%
}}}}
\put(226,-436){\makebox(0,0)[b]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$u_k$}%
}}}}
\put(226,-1036){\makebox(0,0)[b]{\smash{{\SetFigFontNFSS{9}{10.8}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$u_k$}%
}}}}
\end{picture}%