MathTypes.mesa
Carl Waldspurger, August 24, 1986 6:21:27 pm PDT
DIRECTORY
Rope
USING [
ROPE];
MathTypes:
CEDAR
DEFINITIONS ~
BEGIN
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.