MathPlayer inferences that could be core concept names

[NSoiffer]

Below are inferences used in MathPlayer. I am recording them here for potential reference when making up core intent concept names.

The names are mostly copied from comments and if used for intent concept names, should be lowercase.

Calculus (assumes subject area is set):

• vector (mover/⇀)
• gradient (mo/∇)
• (vector) cross-product (mo/⨯)
• dot-product (mo/⋅)
• Leibniz derivative (d/dx, d^n/dx^n) (also for ⅆ and ∂)
• Lagrange notation (primes) and f^(n) ′/″/‴/⁗
• Newton's Derivative notation(dots above)
• Euler Derivative (D^n f)
• ?? Alternate integral notation with bar (msubsup),
• Left-handed Limit $x \rightarrow a^-$ and with diagonal downarrow
• Right-handed Limit $x \rightarrow a^+$ and with diagonal uparrow
• Partial Derivative rule (msubsup with f'x) checks for alphabetical letter at beginning and in subscript, and a prime in superscript

Statistics (assumes subject area is set):

• Mean (mover/overbar) -- both upper and lower case letters in base are accepted
• Standard normal distribution N(...)
• Chi-square Distribution with msubsup(base Χ, superscript 2)
• T-distribution (msub/base t)
• F-distribution (F(...) or F[...] or msub/base F subscript , )
• Null-hypothesis (H_0)
• Alternate-hypothesis: (H_1 or H_a)
• Conditional-probability: P(A|B)
• Conditional-probability with subscript: P_b(A)
• Expected-value of X: E[X]
• Variance: Var(x) or var(x)
• Covariance (between X and Y): Cov(X,Y)/Cov[X,Y] or cov(X,Y)/cov[X,Y]
• Probability of both A and B: Either P(A ∩ B) or P[A ∩ B]
• Probability of either A or B: Either P(A ∪ B) or P[A ∪ B]
• Probability of not A: P(A')
• Probability of A: P(A)

Where should the intent go for the "Probability" intents/examples above? On the mrow? On the P/∩?

Geometry (assumes subject area is set):

• Line Segment AB (mover/_ uppercase AB)
• Ray AB (mover/→ uppercase AB)
• Line AB (mover/↔ uppercase AB)
• Arc AB/ABC (mover/⌢ uppercase AB or ABC)
• Degree (x/n °)
• Measure-of-angle (m∠)
• Angle (∠)
• Triangle △, △ABC (upper ABC)
• Circle (⊙) (???)
• Parallelogram (▱)
• Intersects (∩)
• Concentric (⊂) (???)
• Similar (∼)
• Because (Proof?) (∵)
• Incongruence (≇)
• Congruence (≅)
• Perpendicular (⟂)

Elementary Math:

• repeating decimal (mstack with msline) or (mstack with a single '.' or with two '.'s)
• stack of numbers (speak each member)
• carries/borrows (mscarry/mscarries)
• long-division (mlongdiv)

SimpleSpeak General Rules:

• limit (mrow, lim) also (munder/msub with →)
• determinant (mrow, det)
• real-part (ℛ,re, Re)
• imaginary-part (ℐ, im, Im)
• modulo (mod, %)
• trig functions (lots of names)
• arc trig function (raised to -1 and also arcxxx)
• trig-power (msup trig function name in base)
• compose (ℐ)
• log-base (msub log)
• infer function call/multiplication rules
• empty set ({})
• set (mrow {...})
• map (mrow f:x->y)
• number sets (ℤ, also with msup (+/-/number)
• point (mrow (x,y))
• absolute-value (mrow |...|, where ... is not an mtable)
• matrix (mtable)
• determinant (mtable)
• magnitude (mrow ‖ ... ‖)
• remainder (mrow num R num)
• minutes/seconds or feet/inches (complicated set of tests)
• implies (mrow infix, →, ⊢, ⇒)
• wreath-product (mrow ≀)
• tensor-product (mrow ⊗)
• ratio (mrow :/∶)
• long-division/actuarial/box/rounded-box/circle/cross-out/phasor-angle (menclosed)
• prime (msup)
• inverse (msup -1)
• large-op rules (msub, msubsup, munder, munderover: sum, integral, ...)
• evaluated-at (msub/msubsup "|")
• matrix-index [repair] (mtd/msub/mn 2 digit) -- separate out the digits
• acute/double-acute/breve/check (mover)
• dot/double-dot/triple-dot/quadruple-dot (mover)
• grave/hat/tilde/vector (mover)
• bar (mover single letter base or adorned single letter base)
• complex-conjugate (mover _) [otherwise]
• blank (mo various chars/runs of chars)

[NSoiffer]

I compared the above list with the core concept as of 19/6/2024 and this is what is missing (not counting the open issues around deriviatives):

Probability and statistics

All of statistics except mean and one form of conditional-probability.

Geometry

• Measure-of-angle (m∠) -- we have angle-measure (∡)
• geometric shapes (triangle, circle, ...)
• Similar (∼)
• Because (Proof?) (∵)
• Incongruence (≇)

General Rules

• modulo (mod, %)
• wreath-product (mrow ≀)
• tensor-product (mrow ⊗)
• things corresponding to menclose notation (circled, phasor-angle, ...)
• matrix-index (same as indexed-by?)