.  & & MathType0Times New RomanXwaw @wf -2 `my2  y2 10 Times New RomanXwaw @wf -2 10 Symbol  8Xwaw @wf -2 -0 & "System f !-