From bdad93a20a0056162a28055086e36bfdc3072bd3 Mon Sep 17 00:00:00 2001 From: NSoiffer Date: Thu, 16 Nov 2023 01:58:39 +0000 Subject: [PATCH 1/7] changed concept name for function application --- _data/core.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_data/core.yml b/_data/core.yml index cdce03e2..d455e63e 100644 --- a/_data/core.yml +++ b/_data/core.yml @@ -40,6 +40,8 @@ defaultfixity: concepts: - concept: and characters: [⁤∧] + - concept: applied-to + characters: [⁡U+2061] - concept: approaches characters: [→] - concept: approximately @@ -96,8 +98,6 @@ defaultfixity: characters: [∉] - concept: not-parallel-to characters: [∦] - - concept: of - characters: [⁡U+2061] - concept: or characters: [∨] - concept: outer-product From 93f537d7cdd560e42d79fa948958d2cf4cf2131f Mon Sep 17 00:00:00 2001 From: NSoiffer Date: Thu, 16 Nov 2023 07:25:59 +0000 Subject: [PATCH 2/7] added concepts up to #100 in spreadsheet --- _data/core.yml | 124 ++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 122 insertions(+), 2 deletions(-) diff --git a/_data/core.yml b/_data/core.yml index d455e63e..36e09465 100644 --- a/_data/core.yml +++ b/_data/core.yml @@ -22,7 +22,7 @@ defaultfixity: - concept: measured-angle characters: [∡] - concept: minus - characters: [-, −] + characters: ["-"", "−"] - concept: not characters: [¬] - concept: partial-derivative @@ -35,6 +35,10 @@ defaultfixity: characters: [∄] - concept: there-exists characters: [∃] + - concept: number-of + characters: ["#"] + - concept: change + characters: ["Δ"] - fixity: infix concepts: @@ -136,11 +140,40 @@ defaultfixity: characters: [∪] - concept: xor characters: [⊕] + - concept: list-separator + characters: [",", ";"] + - concept: range-separator + characters: ["-", "‐", "‑", "–", "—"] + - concept: ellipsis + characters: ["…"] + - concept: evaluates-to + characters: ["→"] + - concept: maps-to + characters: ["→"] + - concept: translates-to + characters: ["→"] + - concept: such-that + characters: [":", "|"] - fixity: postfix concepts: - concept: factorial characters: ["!"] + - concept: percent + characters: ["%"] + + - fixity: nofix + concepts: + - concept: radius + characters: ["r"] + - concept: diameter + characters: ["d"] + - concept: probability + characters: ["P"] + - concept: distance + characters: ["d", "D"] + - concept: volume + characters: ["V"] - fixity: silent concepts: @@ -763,6 +796,31 @@ concepts: ## other areas ======================================================= + - title: Geometry + intents: + - concept: line-segment + arity: 2 + property: prefix + en: + - "line segment $1 $2" + comment: + - "Example: (`mover`): $\\overline{AB}$" + + - concept: shape + arity: "*" + property: prefix + en: + - "shape $1 $2 $3 $4" + + - concept: point-at + arity: "3" + property: ??? + en: + - "point $1 with coordinates $2 and $3" + comment: + - "Example: P(1,2)" + + - title: Fill in the blank intents: - concept: blank @@ -776,4 +834,66 @@ concepts: - "`□`" - "``" - "``
``
``" - \ No newline at end of file + + - title: Separators + intents: + - concept: time-separator + arity: 2 + property: infix + en: $1 $2 + comment: + - "separates hours and minutes and is typically silent" + - "Example: 2:31" + + + - title: Generic Concepts + intents: + - concept: fenced-group + arity: 1 + property: function + en: "fenced-group of $1" + comment: + - "this includes parens, brackets, and braces" + + - concept: ordered-pair + arity: 2 + property: function + en: "the pair $1 and $2" + + - concept: highlight + arity: 1 + property: postfix + en: "$1 highlighted" + comment: + - "this typically would be used inside of a larger expression and not on its own" + - "this might be used with `` or similar. It might also be used with color changes, although may be done with CSS" + + - concept: least-common-denominator + arity: "*" + property: function + en: "least common denominator of $*" + + - concept: rate + arity: 2 + property: infix + en: "$1 per $2" + comment: + - "Typically used with units" + - "Used with `mfrac` or `/`" + + - concept: translation + arity: 2 + property: function + en: "translation by $1 comma $2" + comment: + - "Example: $T_{(1,3)}" + + - title: Grouping + intents: + - concept: fenced-group + arity: 1 + property: function + en: "fenced-group of $1" + comment: + - "this includes parens, brackets, and braces" + \ No newline at end of file From 16797cc44c6b17a6b4c5bb791b6284837378f56e Mon Sep 17 00:00:00 2001 From: NSoiffer Date: Thu, 16 Nov 2023 07:33:32 +0000 Subject: [PATCH 3/7] fix typo that breaks yaml syntax --- _data/core.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_data/core.yml b/_data/core.yml index 36e09465..21a1110f 100644 --- a/_data/core.yml +++ b/_data/core.yml @@ -22,7 +22,7 @@ defaultfixity: - concept: measured-angle characters: [∡] - concept: minus - characters: ["-"", "−"] + characters: ["-", "−"] - concept: not characters: [¬] - concept: partial-derivative From cd63db5ca6b9b020df7196d624eaa59504ee5ea7 Mon Sep 17 00:00:00 2001 From: NSoiffer Date: Thu, 16 Nov 2023 07:38:36 +0000 Subject: [PATCH 4/7] changed example from using TeX to MathML --- _data/core.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_data/core.yml b/_data/core.yml index 21a1110f..5846ebc0 100644 --- a/_data/core.yml +++ b/_data/core.yml @@ -804,7 +804,7 @@ concepts: en: - "line segment $1 $2" comment: - - "Example: (`mover`): $\\overline{AB}$" + - "Example: (`mover`): AB_ - concept: shape arity: "*" From cc48d2d30eaabb3e040ca550ca499260d26f91c1 Mon Sep 17 00:00:00 2001 From: NSoiffer Date: Thu, 16 Nov 2023 07:42:34 +0000 Subject: [PATCH 5/7] fix missing quote just introduced --- _data/core.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_data/core.yml b/_data/core.yml index 5846ebc0..d6042f7e 100644 --- a/_data/core.yml +++ b/_data/core.yml @@ -804,7 +804,7 @@ concepts: en: - "line segment $1 $2" comment: - - "Example: (`mover`): AB_ + - "Example: (`mover`): AB_" - concept: shape arity: "*" From 8412ed6f377483bf4a40df5db3df3ea245923bb9 Mon Sep 17 00:00:00 2001 From: NSoiffer Date: Thu, 16 Nov 2023 07:44:52 +0000 Subject: [PATCH 6/7] changed example from using TeX to MathML --- _data/core.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_data/core.yml b/_data/core.yml index d6042f7e..3eb2b75e 100644 --- a/_data/core.yml +++ b/_data/core.yml @@ -886,7 +886,7 @@ concepts: property: function en: "translation by $1 comma $2" comment: - - "Example: $T_{(1,3)}" + - "Example: T(1,3)" - title: Grouping intents: From 4728da7aa3bdb3b7e019530d127410f2ab70182c Mon Sep 17 00:00:00 2001 From: NSoiffer Date: Thu, 16 Nov 2023 08:29:39 +0000 Subject: [PATCH 7/7] partial addition of #100 - #150 --- _data/core-properties.yml | 8 +++++++ _data/core.yml | 48 ++++++++++++++++++++++++++++++++++++++- 2 files changed, 55 insertions(+), 1 deletion(-) diff --git a/_data/core-properties.yml b/_data/core-properties.yml index 30ef9460..6b2fcbab 100644 --- a/_data/core-properties.yml +++ b/_data/core-properties.yml @@ -212,6 +212,14 @@ " en: ??? +- property: shape + type: geometry + applicability: mo + comment: there are many shape characters in unicode, including filled and shaded ones. Some have mathematical meaning. The shape property is used when they are meant to be used as a geometric shape. + examples: + - mathml: "▭ABCD" + en: rectangle A B C D + - property: chemical-element type: chemistry examples: diff --git a/_data/core.yml b/_data/core.yml index 3eb2b75e..cef326fe 100644 --- a/_data/core.yml +++ b/_data/core.yml @@ -154,6 +154,12 @@ defaultfixity: characters: ["→"] - concept: such-that characters: [":", "|"] + - concept: if-and-only-if + characters: ["⟺"] + - concept: perpendicular + characters: ["⟂"] + - concept: defined-as + characters: ["=", "≔"] - fixity: postfix concepts: @@ -806,6 +812,30 @@ concepts: comment: - "Example: (`mover`): AB_" + - concept: line + arity: 2 + property: prefix + en: + - "line $1 $2" + comment: + - "Example: (`mover`): AB↔" + + - concept: ray + arity: 2 + property: prefix + en: + - "ray $1 $2" + comment: + - "Example: (`mover`): AB→" + + - concept: arc + arity: 2 + property: prefix + en: + - "arc $1 $2" + comment: + - "Example: (`mover`): AB⌒" + - concept: shape arity: "*" property: prefix @@ -896,4 +926,20 @@ concepts: en: "fenced-group of $1" comment: - "this includes parens, brackets, and braces" - \ No newline at end of file + + - concept: annotation + arity: 2 + property: function + en: "H 2 0, which is water" + comment: + - "used with `mover` or `munder`" + - "Example: H2O⏟water" + + + - concept: braced-group + arity: 1 + property: function + en: "grouped $1 end-grouped" + comment: + - "used with `mover` or `munder`" + - "Example: 13-16⏟" \ No newline at end of file