From 65a0009c83efaae511216600f2087a336616c781 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sun, 12 Nov 2006 13:24:13 +0000
Subject: [PATCH] thread EEnv into ShellState

---
 resource-1.0/mathematical/Symbol.gf    | 5 +++++
 resource-1.0/mathematical/SymbolEng.gf | 3 +++
 2 files changed, 8 insertions(+)

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 ;