beginchar(oct"242",.5em#,5cap#/7,0dth#); "ee"; addto currentpicture also epsilon shifted (-.05w,0h); addto currentpicture also epsilon shifted (.4w,0h); endchar;