\begin{picture}(720,515)(40,320)\thicklines \put(240,320){\framebox (160,100)... ...akebox(0,0)[lb]{\raisebox{0pt}[0pt][0pt]{\egtrm infixSymbol='/'}}} \end{picture}