beginchar(oct"155",.8em#,cap#,dth#); "Elafron*petastis"; addto currentpicture also PETACTH; addto currentpicture also ELAFRON shifted (0,.7h); endchar;