\begin{picture}(0,0)%
\includegraphics{tf15.pstex}%
\end{picture}%
\setlength{\unitlength}{3947sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(2787,1039)(4951,-3269)
\put(6151,-2386){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$ \Box^{a} {\rm T} \Box^{b} {\rm F} \Box^{c}$}%
}}}}
\put(4951,-3211){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$ \Box^{a+1} {\rm T} \Box^{b-1} {\rm F} \Box^{c}$  }%
}}}}
\put(7201,-3211){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$ \Box^{a} {\rm T} \Box^{b-1} {\rm F} \Box^{c+1} $}%
}}}}
\end{picture}%