beginchar(oct"240",.6em#,5cap#/7,0dth#); "de"; addto currentpicture also delta shifted(.0w,0); addto currentpicture also epsilon shifted(.55w,.0h); endchar;