1signature FORMULA = 2sig 3 val inlineFormula: MathTypes.mlist -> BoxTypes.hlist 4 val displayFormula: MathTypes.mlist -> BoxTypes.hlist 5end (* signature FORMULA *) 6(*----------*) 7 8structure Formula: FORMULA = 9struct 10 open BasicTypes 11 open MathTranslate 12 13 val displayFormula = MListToHList D false false 14 val inlineFormula = MListToHList T false true 15end (* structure Formula *) 16