diff --git a/resource-1.0/mathematical/Symbol.gf b/resource-1.0/mathematical/Symbol.gf index 5e0bc97d3..a198ad280 100644 --- a/resource-1.0/mathematical/Symbol.gf +++ b/resource-1.0/mathematical/Symbol.gf @@ -19,6 +19,11 @@ fun SymbS : Symb -> S ; -- A +--2 Symbols as numerals + + SymbNum : Symb -> Num ; -- n + SymbOrd : Symb -> Num ; -- n'th + --2 Symbol lists -- A symbol list has at least two elements. The last two are separated diff --git a/resource-1.0/mathematical/SymbolEng.gf b/resource-1.0/mathematical/SymbolEng.gf index aa0e09f4e..4b17a531a 100644 --- a/resource-1.0/mathematical/SymbolEng.gf +++ b/resource-1.0/mathematical/SymbolEng.gf @@ -15,6 +15,9 @@ lin SymbS sy = sy ; + SymbNum sy = sy ; + SymbOrd sy = {s = sy.s ++ "th"} ; + lincat Symb, [Symb] = SS ;