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: H2Owater" + + + - 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