Symbol.SymbS

2026-05-21 09:02:50 -06:00 · 2006-03-17 11:10:07 +00:00
parent 3628ee2960
commit 0f06215a69
6 changed files with 12 additions and 0 deletions
--- a/lib/resource-1.0/mathematical/Symbol.gf
+++ b/lib/resource-1.0/mathematical/Symbol.gf
@@ -15,6 +15,10 @@ fun
  CNIntNP  : CN -> Int -> NP ;           -- level 53
  CNSymbNP : Det -> CN -> [Symb] -> NP ; -- (the) (2) numbers x and y

+--2 Sentence consisting of a formula
+
+  SymbS    : Symb -> S ;                 -- A
+
 --2 Symbol lists

 -- A symbol list has at least two elements. The last two are separated