Updating to Feb 7 meeting and fix some bugs

_data/core.yml

@@ -128,6 +128,8 @@ defaultfixity:
          characters: [∉]
        - concept: not-parallel-to
          characters: [∦]
+       - concept: obtained-from
+         characters: [←]
        - concept: or
          characters: [∨]
        - concept: outer-product
@@ -150,7 +152,7 @@ defaultfixity:
          characters: [":", "∶"]
        - concept: set-difference
          characters: "[∼, ~, -, −, \\]"
-       - concept: similar-to
+       - concept: similar
          characters: [≅]
        - concept: subset
          characters: [⊂]
@@ -461,6 +463,7 @@ concepts:
           
           ```
 
+
     - concept: partial-derivative
       arity: 3 or more
       property: ???
@@ -488,19 +491,27 @@ concepts:
       comment:
       - "limit is not an argument, but intent should be on `msub` or `munder`"
       - "There are several arrows used for limits. "
-      - "Example: limx↗0 might be spoken as \"limit as x tends to from below 0\" and marked up as:"
+      - "Example: 
+              
+                  lim
+                  x↗0
+              
+          
+          might be spoken as \"limit as x tends to from below 0\" and marked up as:"
       - |
         ```
         
             lim
-            
+            '
               x
               ↗
               0
             
         
         ```
-      - "Another notation that might be spoken similarly is  limx→0- "
+      - "Another notation that might be spoken similarly is
+        limx→0-
+        "
 
     - concept: tends-to
       arity: 2
@@ -908,6 +919,8 @@ concepts:
       property: function
       en: "mode of $1"
 
+
+
     - concept: conditional-probability
       arity: 2
       property: function
@@ -1244,7 +1257,7 @@ concepts:
       - concept: binomial-coefficient
         arity: 2
         property: infix
-        en: "n choose k"
+        en: "$1 choose $2"
         comment:
         - "There are many notations used for the binomial coefficient. Here are some of them: 
           
@@ -1303,7 +1316,7 @@ concepts:
       - concept: permutation-cycle
         arity: "*"
         property: function
-        en: "permutation cycle of 1 3 2"
+        en: "permutation cycle of $1 $2 ..."
         comment:
         - "A common notation for a permutation cycle is (
                 132
@@ -1320,9 +1333,14 @@ concepts:
             
           )
           ```
-
-
 
+      - concept: embellished-name
+        arity: 2
+        property: infix
+        en: "$1 with annotation $2"
+        comment:
+        - "used with `mover` or `munder`"
+
 
   - title: Grouping
     intents:
@@ -1336,7 +1354,7 @@ concepts:
       - concept: annotation
         arity: 2
         property: function
-        en: "H 2 0, which is water"
+        en: "$1 which is $2"
         comment:
         - "used with `mover` or `munder`"
         - "Example: H2O⏟water"
@@ -1352,7 +1370,7 @@ concepts:
       - concept: repeating-decimal
         arity: 1
         property: function
-        en: "repeating decimal 14"
+        en: "repeating decimal $1"
         comment:
         - "typically used in when there is a bar over the repeating part of a decimal or dots over the first and last digits."
         - "Example: 122=0.045_"