diff --git a/lib/resource-1.0/mathematical/Symbol.gf b/lib/resource-1.0/mathematical/Symbol.gf index a198ad280..08137b8fc 100644 --- a/lib/resource-1.0/mathematical/Symbol.gf +++ b/lib/resource-1.0/mathematical/Symbol.gf @@ -22,7 +22,7 @@ fun --2 Symbols as numerals SymbNum : Symb -> Num ; -- n - SymbOrd : Symb -> Num ; -- n'th + SymbOrd : Symb -> Ord ; -- n'th --2 Symbol lists diff --git a/lib/resource-1.0/mathematical/SymbolFin.gf b/lib/resource-1.0/mathematical/SymbolFin.gf index d5b4542ea..142e43f53 100644 --- a/lib/resource-1.0/mathematical/SymbolFin.gf +++ b/lib/resource-1.0/mathematical/SymbolFin.gf @@ -18,6 +18,9 @@ lin SymbS sy = sy ; + SymbNum n = {s = \\_,_ => n.s ; isNum = True} ; + SymbOrd n = {s = \\_,_ => n.s ++ "."} ; + lincat Symb, [Symb] = SS ; diff --git a/lib/resource-1.0/mathematical/SymbolGer.gf b/lib/resource-1.0/mathematical/SymbolGer.gf index bee704c63..936905fd2 100644 --- a/lib/resource-1.0/mathematical/SymbolGer.gf +++ b/lib/resource-1.0/mathematical/SymbolGer.gf @@ -17,6 +17,10 @@ lin } ; SymbS sy = {s = \\_ => sy.s} ; + SymbNum n = {s = n.s} ; + SymbOrd n = {s = \\_ => n.s ++ "."} ; + + lincat Symb, [Symb] = SS ; diff --git a/lib/resource-1.0/mathematical/SymbolRomance.gf b/lib/resource-1.0/mathematical/SymbolRomance.gf index c2b07101b..eabd3b7d6 100644 --- a/lib/resource-1.0/mathematical/SymbolRomance.gf +++ b/lib/resource-1.0/mathematical/SymbolRomance.gf @@ -18,6 +18,9 @@ lin } ; SymbS sy = {s = \\_ => sy.s} ; + SymbNum n = {s = \\_ => n.s ; isNum = True} ; + SymbOrd n = {s = \\_ => n.s ++ "."} ; --- + lincat Symb, [Symb] = SS ; diff --git a/lib/resource-1.0/mathematical/SymbolScand.gf b/lib/resource-1.0/mathematical/SymbolScand.gf index 958517d7f..25d5585fe 100644 --- a/lib/resource-1.0/mathematical/SymbolScand.gf +++ b/lib/resource-1.0/mathematical/SymbolScand.gf @@ -16,6 +16,9 @@ lin SymbS sy = {s = \\_ => sy.s} ; + SymbNum n = {s = \\_ => n.s ; isDet = True} ; + SymbOrd n = {s = n.s ++ ":te" ; isDet = True} ; --- + lincat Symb, [Symb] = SS ;