DIRECTORY ImagerFont USING [Extents, XChar], Rope USING [ROPE]; MathTypes: CEDAR DEFINITIONS ~ BEGIN AtomValue: TYPE ~ REF AtomValueRep; AtomCharValue: TYPE ~ REF char AtomValueRep; AtomRopeValue: TYPE ~ REF rope AtomValueRep; AtomBoxValue: TYPE ~ REF box AtomValueRep; AtomOtherValue: TYPE ~ REF other AtomValueRep; AtomValueRep: TYPE ~ RECORD [ SELECT type:* FROM char => [char: ImagerFont.XChar], rope => [rope: Rope.ROPE], box => [box: ImagerFont.Extents], other => [other: REF ANY], ENDCASE ]; Style: TYPE ~ RECORD [ font: Rope.ROPE, -- pathname of font file to use scale: REAL _ 1.0, -- scaling factor for font to normalize bounding box sizes looks: REF ANY _ NIL -- to be determined ]; FormatClass: TYPE ~ {atom, paren, binaryOp, unaryOp, op, relation, over, matrix, radical, other}; END. FMathTypes.mesa Carl Waldspurger, August 17, 1986 3:59:49 pm PDT Κw˜Jšœ™Jšœ0™0J˜šΟk ˜ Jšœ œ˜"Jšœœœ˜—J˜šΟn œœ œ˜J˜Jš˜˜Jšœ œœ˜#Jšœœœ˜,Jšœœœ˜,Jšœœœ˜*Jšœœœ˜.codešœœ˜šœ˜šœ˜K˜!Kšœœ˜K˜!Kšœœœ˜Kš˜—K˜K˜——šœœ˜ šœ˜Kšœ œΟc˜1Kšœœ Ÿ:˜NKšœœœœŸ˜)K˜——K˜šœ œP˜aK˜—K˜—Kšœ˜——…—(ε