textfont extra 1 "Courier"
magnification 1.18

heading 10 "\rm\\"\xx1\\\mu\\\\131\\xxxx~\\183\\\|wwwtxtwwtxxxtx~u\rm\\"  generates  \mu\\131\xxxx~\183\\|wwwtxtwwtxxxtx~u"
