Update to Jan 18 meeting decisions

_data/core.yml

@@ -52,8 +52,6 @@ defaultfixity:
          characters: [⁤∧]
        - concept: applied-to
          characters: [⁡U+2061]
-       - concept: approaches
-         characters: [→]
        - concept: approximately
          characters: [≈]
        - concept: congruent
@@ -78,6 +76,8 @@ defaultfixity:
          characters: ["·"]
        - concept: downwards-diagonal-ellipsis
          characters: ["⋱"]
+       - concept: direct-product
+         characters: [×]
        - concept: element-of
          characters: [∈, ∊]
        - concept: ellipsis
@@ -94,6 +94,8 @@ defaultfixity:
          characters: [">"]
        - concept: greater-than-or-equal-to
          characters: [≥, ≧]
+       - concept: identically-equals
+         characters: [≡]
        - concept: if-and-only-if
          characters: ["⟺"]
        - concept: implies
@@ -148,8 +150,8 @@ defaultfixity:
          characters: [":", "∶"]
        - concept: set-difference
          characters: "[∼, ~, -, −, \\]"
-       - concept: similar
-         characters: [∖]
+       - concept: similar-to
+         characters: [≅]
        - concept: subset
          characters: [⊂]
        - concept: subset-or-equal
@@ -400,6 +402,15 @@ concepts:
       property: function
       en: ceiling of $1
 
+    - concept: round
+      arity: 1
+      property: function
+      en: rounded-value of $1
+      comment: "This sometimes uses the notation
+        ⌊x⌉
+        or
+        [x]"
+
     - concept: fractional-part
       arity: 1
       property: function
@@ -472,26 +483,26 @@ concepts:
         ```
 
     - concept: limit
-      arity: 3
-      property: ???
-      en: "limit as $1 $2 $3"
+      arity: 1
+      property: prefix
+      en: "limit as $1"
       comment:
       - "limit is not an argument, but intent should be on `msub` or `munder`"
       - "There are several arrows used for limits. "
       - "Example: 
-              
+              
                   lim
-                  x arg='arrow'
+                   arg='lim' intent='tends-to-from-below($x, $val)''
               
           
-          might be spoken as \"limit as x approaches from below 0\" and marked up as:"
+          might be spoken as \"limit as x tends to from below 0\" and marked up as:"
       - |
         ```
-        
+        
             lim
-            
+             arg='lim' intent='tends-to-from-below($x, $val)''
               x
-               arg='arrow'
+              ↗
               0
             
         
@@ -500,10 +511,23 @@ concepts:
         limx→0-
         "
 
-    # - concept: tends-to
-    #   arity: 3
-    #   property: ???
-    #   en: "limit as $1 $2 $3"
+    - concept: tends-to
+      arity: 2
+      property: infix
+      en: "$1 tends to $2"
+      comment: "see \"limit\" example"
+
+    - concept: tends-to-from-above
+      arity: 2
+      property: infix
+      en: "$1 tends to from above $2"
+      comment: "see \"limit\" example"
+
+    - concept: tends-to-from-below
+      arity: 2
+      property: infix
+      en: "$1 tends to from below $2"
+      comment: "see \"limit\" example"
 
   ## ====================== 4.4.5 Sets ============================
   - title: Sets
@@ -565,6 +589,12 @@ concepts:
       comment:
       - "Three notations used for empty set are: { }, ∅, and ∅"
 
+
+    - concept: cardinality
+      arity: 1
+      property: function
+      comment: "often used with matchfix single vertical bars"
+
     - concept: list
       arity: "*"
       en: "list of $1, ..."
@@ -936,6 +966,16 @@ concepts:
       property: function
       comment: "often used with matchfix single or double vertical bars"
 
+    - concept: norm
+      arity: 1
+      property: function
+      comment: "often used with matchfix double vertical bars"
+
+    - concept: span
+      arity: 1
+      property: function
+      comment: "often used with matchfix angle brackets"
+
     - concept: unit-vector
       arity: 1
       property: prefix
@@ -962,6 +1002,7 @@ concepts:
       en: "transpose of $1"
       fr: "transposée de $1"
 
+
     ## ====================== 4.4.10 Constants and Sets ======================
   - title: Constants and Sets
     intents:
@@ -1261,12 +1302,33 @@ concepts:
         - "The first of these would be marked up as:"
         - |
           ```
-          
+          
               P
               k
               n
           
           ```
+
+      - concept: permutation-cycle
+        arity: "*"
+        property: function
+        en: "permutation cycle of 1 3 2"
+        comment:
+        - "A common notation for a permutation cycle is (
+                132
+                )"
+        - "This would be marked up as:"
+        - |
+          ```
+          
+          (
+            
+               1
+               3
+               2
+            
+          )
+          ```