\InsertFig 92.000 110.000 {
1 mm unit
-30.000   0.000 moveto 
[ -30.000   0.000  -28.000 -10.000  -13.000 -15.000    2.000 -17.000  
 27.000  -7.000   27.000  13.000    7.000  23.000  -26.000  13.000  
] closedcurve 
stroke 
 29.200  58.000 moveto 
[  29.200  58.000   28.200  78.000   18.200  99.000  -11.800  99.000  
-27.800  79.000  -20.000  40.500    0.000  35.500   20.000  45.500  
] closedcurve 
stroke 
  0.000  42.000 moveto 
  0.000  99.000 lineto 
stroke 
  0.452  setlinewidth 
-20.000   3.000 moveto 
 20.000   3.000 lineto 
stroke 
  0.000 -12.000 moveto 
  0.000  18.000 lineto 
stroke 
-16.500  11.500 moveto 
 16.500  -5.500 lineto 
stroke 
-16.500  -5.500 moveto 
 16.500  11.500 lineto 
stroke 
  8.500  16.500 moveto 
 -8.500 -10.500 lineto 
stroke 
  8.500 -10.500 moveto 
 -8.500  16.500 lineto 
stroke 
 20.000  50.000 moveto 
-20.000  50.000 lineto 
stroke 
-20.000  90.000 moveto 
 20.000  90.000 lineto 
stroke 
  0.200  68.000 moveto
 -0.200  72.000 lineto   
stroke
 16.500  54.666 moveto 
-16.500  58.666 lineto 
stroke 
 -8.500  67.333 moveto 
  8.500  59.333 lineto 
stroke 
  8.500  80.666 moveto 
 -8.500  72.666 lineto 
stroke 
-16.500  81.333 moveto 
 16.500  85.333 lineto 
stroke 
 40.000  59.000 moveto 
 40.000 -90.000 2.4 vector
}
\LabelTeX    1.000  97.000 $E$ \ELTX
\LabelTeX   42.000  37.000 $\sigma$ \ELTX
\LabelTeX  -26.000  65.000 $\widetilde X$ \ELTX
\LabelTeX  -26.000  -5.000 $X$ \ELTX
\EndFig
