A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | AA | AB | AC | AD | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Subject | Form | Example notation | Alias | Speech Hints | Sources | Notes | See also | Specific cMML | ||||||||||||||||||||||
2 | greater-than | G2 math | infix | mo > | greater, bigger-than | $1 greater-than $2 | https://en.wikipedia.org/wiki/Greater_Than https://www.khanacademy.org/math/cc-2nd-grade-math | http://notations.hoplahup.net/Census/CD-relation1/gt | gt | ||||||||||||||||||||||
3 | more-than | G3 math | prefix | mo > | exceeds | more-than $1 | https://youtu.be/mLRYCaYVWFc?t=258 | ||||||||||||||||||||||||
4 | $1_{>0} | positive $1 | |||||||||||||||||||||||||||||
5 | $1 > 0 | $1 is positive | |||||||||||||||||||||||||||||
6 | M > 0 | M is positive definite | assuming M "isa" matrix | ||||||||||||||||||||||||||||
7 | less-than | G2 math | infix | smaller | $1 less-than $2 $1 is less-than $2 | https://www.khanacademy.org/math/cc-2nd-grade-math | optional "is" before "equal" in speech, often omitted for brevity | http://notations.hoplahup.net/Census/CD-relation1/lt | lt | ||||||||||||||||||||||
8 | equal | G2 math | infix prefix | mo = | $1 is $2 $1 equal to $2 equal to $1 | https://www.khanacademy.org/math/cc-2nd-grade-math | fragment prefix form in mtable multi-line derivations | http://notations.hoplahup.net/Census/CD-relation1/eq | eq | ||||||||||||||||||||||
9 | not-equal | G2 math | infix | mo ≠ | $1 not equal to $2 | https://www.khanacademy.org/math/cc-2nd-grade-math | http://notations.hoplahup.net/Census/CD-relation1/neq | neq | |||||||||||||||||||||||
10 | plus | G2 math | infix | mo + | https://www.khanacademy.org/math/cc-2nd-grade-math | http://notations.hoplahup.net/Census/CD-arith1/plus | plus | ||||||||||||||||||||||||
11 | array | G2 math | tabular | mtable | https://www.khanacademy.org/math/cc-2nd-grade-math | - | |||||||||||||||||||||||||
12 | minus | G2, G6 math | infix prefix | mo - | subtraction | $1 minus $2 negative $1 | https://www.khanacademy.org/math/cc-2nd-grade-math | http://notations.hoplahup.net/Census/CD-arith1/unary_minus | minus | ||||||||||||||||||||||
13 | dollar | G2 math | prefix unit | mo $ | https://www.khanacademy.org/math/cc-2nd-grade-math | - | |||||||||||||||||||||||||
14 | cents | G2 math | postfix unit | mi cents | https://www.khanacademy.org/math/cc-2nd-grade-math | - | |||||||||||||||||||||||||
15 | time-separator | G2 math | infix | mo : | https://www.khanacademy.org/math/cc-2nd-grade-math https://en.wikipedia.org/wiki/Colon_(punctuation)#Syntactical-descriptive | - | |||||||||||||||||||||||||
16 | meter | G2 math | postfix unit | mi m | https://www.khanacademy.org/math/cc-2nd-grade-math | https://openmath.org/cd/units_metric1.html#metre | - | ||||||||||||||||||||||||
17 | centimeter | G2 math | postfix unit | mi cm | https://www.khanacademy.org/math/cc-2nd-grade-math | - | |||||||||||||||||||||||||
18 | foot | G2, G4 math | postfix unit msup | mi ft msup ' | feet | https://www.khanacademy.org/math/cc-2nd-grade-math | https://openmath.org/cd/units_us1.html#foot_us_survey | - | |||||||||||||||||||||||
19 | inch | G2, G4 math | postfix unit msup | mi in msup '' | inches | https://www.khanacademy.org/math/cc-2nd-grade-math | - | ||||||||||||||||||||||||
20 | times | G3 math | infix | mo × mo * mo · mo • mo . | $1 times $2 $1 multiplied by $2 | https://www.khanacademy.org/math/cc-third-grade-math https://youtu.be/1P_cjOtWBkM?t=774 | The simple dot (.) and bullet variants were spotted in cyrillic texts, even if the center dot is the recommended form nowadays. also, G6 video on invisible times: https://youtu.be/vDaIKB19TvY | http://notations.hoplahup.net/Census/CD-arith1/times | times | ||||||||||||||||||||||
21 | delimited-subexpression? parenthetical? fenced-group? | G3, G6 math | fenced | mrow ( ... ) mrow [ ... ] | https://www.khanacademy.org/math/cc-third-grade-math https://youtu.be/AhnJtTI_DMM | ||||||||||||||||||||||||||
22 | blank | G3 math | symbol | mi ? mi 😊 mi ⭑ mspace menclose (either box or bottom) | missing, unknown, fill in the blank | https://www.khanacademy.org/math/cc-third-grade-math | |||||||||||||||||||||||||
23 | divide | G3 math | infix | mo ÷ mo / mo : | https://www.khanacademy.org/math/cc-third-grade-math https://youtu.be/SzjgcUesBWo?t=63 | http://notations.hoplahup.net/Census/CD-arith1/divide | |||||||||||||||||||||||||
24 | fraction | G3 math | 2D | mfrac | $1 over $2 $1 divided by $2 the ratio of $1 and $2 | https://www.khanacademy.org/math/cc-third-grade-math | http://notations.hoplahup.net/Census/CD-arith1/divide | ||||||||||||||||||||||||
25 | unit | G3 math | postfix unit | mi tens mi unit mi parts mi acorns mi gnus mi pieces | https://www.khanacademy.org/math/cc-third-grade-math | ||||||||||||||||||||||||||
26 | approximately | G3 math | infix | mo ≈ mo ~ | roughly | https://www.khanacademy.org/math/cc-third-grade-math | |||||||||||||||||||||||||
27 | number-of | G3 math | prefix | mo # | https://www.khanacademy.org/math/cc-third-grade-math | Also seen in plain text used as a constant, e.g. "All real #'s " | |||||||||||||||||||||||||
28 | list-separator | G3 math | infix | mo , | $1 $2 $1 and $2 | https://www.khanacademy.org/math/cc-third-grade-math | comas were pronounced as "to" when reading an arithmetic progression. E.g. "5 to 7 to 9 to 11 and keep going" for 5,7,9,11, ... but were pronounced "and" when grouping terms for a relation e.g. x,y < 0 | ||||||||||||||||||||||||
29 | ellipsis | G3 math | symbol | mo ... mo … mo ⋮ mo ⋯ | $1 and so on $1 keep going $1 on and on and on and on $1 and we just go like that forever and ever and ever $1 et cetera $1 all the way (to $2) $1 and so on (upto $2) $1 dot dot dot ($2) | https://www.khanacademy.org/math/cc-third-grade-math https://youtu.be/W-Nio466Ek4?t=177 | |||||||||||||||||||||||||
30 | focus | G3 math | enclosed | menclose notation="box" | https://www.khanacademy.org/math/cc-third-grade-math | ||||||||||||||||||||||||||
31 | ordinal-mark | G3 math | msup | msup th msup rd msup nd | https://www.khanacademy.org/math/cc-third-grade-math | ||||||||||||||||||||||||||
32 | gram | G3 math | postfix unit | mi g | https://www.khanacademy.org/math/cc-third-grade-math | ||||||||||||||||||||||||||
33 | kilogram | G3 math | postfix unit | mi kg | https://www.khanacademy.org/math/cc-third-grade-math | ||||||||||||||||||||||||||
34 | range-separator | G3 math | infix | mo - | $1 to $2 | https://www.khanacademy.org/math/cc-third-grade-math | |||||||||||||||||||||||||
35 | milliliter | G3 math | postfix unit | mi mL | https://www.khanacademy.org/math/cc-third-grade-math | ||||||||||||||||||||||||||
36 | liter | G3 math | postfix unit | mi L | litre | https://www.khanacademy.org/math/cc-third-grade-math | |||||||||||||||||||||||||
37 | greater-than-or-equal | G4 math | infix | mo ≥ | https://www.khanacademy.org/math/cc-fourth-grade-math | ||||||||||||||||||||||||||
38 | less-than-or-equal | G4 math | infix | mo ≤ | https://www.khanacademy.org/math/cc-fourth-grade-math | ||||||||||||||||||||||||||
39 | remainder | G4 math | infix | mo r mo R | https://www.khanacademy.org/math/arithmetic-home/multiply-divide/remainders/a/understanding-remainders | ||||||||||||||||||||||||||
40 | variable | G4 math | symbol | mi x mi y mi z mi i mi 2 | https://www.khanacademy.org/math/cc-fourth-grade-math https://youtu.be/L1c0SP4W4ro?t=145 | Note: "i" is used as an index variable in geometric progressions (algebra 1), so it is not always the imaginary unit. Note 2: In geometry, numbers can be used as variables, e.g. "∠1", "∠2" mi msub ∠ 1 | |||||||||||||||||||||||||
41 | least-common-denominator | G4 math | function | LCD | https://www.khanacademy.org/math/cc-fourth-grade-math | http://notations.hoplahup.net/Census/CD-arith1/lcm http://notations.hoplahup.net/Census/CD-arith1/gcd | |||||||||||||||||||||||||
42 | degrees | G4 math | msup | msup $1 ° | https://www.khanacademy.org/math/cc-fourth-grade-math | ||||||||||||||||||||||||||
43 | angle | G4 math | prefix | mo ∠ mo ∡ | angle | https://www.khanacademy.org/math/cc-fourth-grade-math https://youtu.be/JyyE7lDEKdA?t=1771 | |||||||||||||||||||||||||
44 | measure-of-angle | G4 math | prefix | mo ∠ ABC | |||||||||||||||||||||||||||
45 | pound | G4 math | postfix unit | mi lb. mi lb mi lbs | https://www.khanacademy.org/math/cc-fourth-grade-math | ||||||||||||||||||||||||||
46 | ton | G4 math | postfix unit | mi T | https://www.khanacademy.org/math/cc-fourth-grade-math | ||||||||||||||||||||||||||
47 | ounce | G4 math | postfix unit | mi oz | https://www.khanacademy.org/math/cc-fourth-grade-math | ||||||||||||||||||||||||||
48 | day-period | G4 math | postfix unit | mi AM mi a.m. mi PM mi p.m. | https://www.khanacademy.org/math/cc-fourth-grade-math | ||||||||||||||||||||||||||
49 | line-segment | G4 math | mover concat | mover $1 ¯ mrow $1 $2 | $1 segment $1 $1 $2 segment $1 $2 side $1 $2 | https://www.khanacademy.org/math/cc-fourth-grade-math https://youtu.be/JyyE7lDEKdA?t=1893 | sometimes written without the mover, especially when segments are divided in fractions, see e.g. https://youtu.be/LrS5_l-gk94 | ||||||||||||||||||||||||
50 | power | G5 math | msup | msup $1 $2 | $1 to the $2 $1 to the $2 power $1 and then that raised to the $2 power | https://www.khanacademy.org/math/cc-fifth-grade-math https://youtu.be/YbNVUhW-HJM?t=19 https://youtu.be/SM6XZj5dPQQ?t=195 | power with unit base sometimes read differently e.g. "m^3" is "cubic meters" (algebra 1) rather than "m cubed". But the "m cubed" reading has been heard at Khan as well. If $1 is a parenthetical, e.g. (1.06 ^ 0.1) ^2 , you can hear "and then that raised" as the connective for power | http://notations.hoplahup.net/Census/CD-arith1/power | |||||||||||||||||||||||
51 | point | G5 math | fenced | mrow ($1, $2) mrow ($1 ; $2 ) | coordinate cartesian-coordinate | $1 $2 $1 comma $2 point $1 comma $2 coordinates $1 comma $2 | https://www.khanacademy.org/math/cc-fifth-grade-math https://youtu.be/7nE8hRnb_0E?t=2282 | Bulgarian texts tend to use semicolon (;) as a separator to better contrast with the "decimal comma" as in (1,5 ; 2,5 ) | |||||||||||||||||||||||
52 | ratio | G6 math | infix | mo : | $1 to $2 ratio $1 to $2 | https://www.khanacademy.org/math/cc-sixth-grade-math/ | |||||||||||||||||||||||||
53 | miles-per-hour | G6 math | postfix unit | mi mph | https://www.khanacademy.org/math/cc-sixth-grade-math/ | ||||||||||||||||||||||||||
54 | rate | G6 math | mfrac infix | mfrac $1p$2 | $1 per $2 | https://www.khanacademy.org/math/cc-sixth-grade-math/ | |||||||||||||||||||||||||
55 | percent | G6 math | postfix | mo % | https://www.khanacademy.org/math/cc-sixth-grade-math/ | ||||||||||||||||||||||||||
56 | absolute-value | G6 math | fenced | mrow | $1 | | https://www.khanacademy.org/math/cc-sixth-grade-math/ | abs | |||||||||||||||||||||||||
57 | shape | G6 math | n-ary concat | mrow $1 $2 .. $N | $1 $2 ... $N | https://www.khanacademy.org/math/cc-sixth-grade-math/ | |||||||||||||||||||||||||
58 | least-common-multiple | G6 math | function | mi lcm mi LCM | https://www.khanacademy.org/math/cc-sixth-grade-math/ | http://notations.hoplahup.net/Census/CD-arith1/lcm | |||||||||||||||||||||||||
59 | greatest-common-divisor | G6 math | function | mi gcd mi GCD mi gcf mi GCF | greatest-common-factor | https://www.khanacademy.org/math/cc-sixth-grade-math/ | http://notations.hoplahup.net/Census/CD-arith1/gcd | ||||||||||||||||||||||||
60 | evaluates-to | G6 math | infix | mo → | https://www.khanacademy.org/math/cc-sixth-grade-math/ | ||||||||||||||||||||||||||
61 | point-at | G6 math | mixfix | mrow $1($2,$3) | point $1 at $2 comma $3 point $1 which has the coordinates $2 comma $3 | https://www.khanacademy.org/math/cc-sixth-grade-math/ https://youtu.be/S6BHQMk8C_A | |||||||||||||||||||||||||
62 | set | G6 math | fenced | mrow { ... } | $1 set of $1 | https://www.khanacademy.org/math/cc-sixth-grade-math/ | set | ||||||||||||||||||||||||
63 | mean-absolute-deviation | G6 math | symbol | mi MAD | https://www.khanacademy.org/math/cc-sixth-grade-math/ | ||||||||||||||||||||||||||
64 | celsius | G6 math | postfix unit | mi C | https://www.khanacademy.org/math/cc-sixth-grade-math/ | ||||||||||||||||||||||||||
65 | interquartile-range | G6 math | symbol | mi IQR | https://www.khanacademy.org/math/cc-sixth-grade-math/ | ||||||||||||||||||||||||||
66 | pi | G7 math | constant | mi π | https://www.khanacademy.org/math/cc-seventh-grade-math | http://notations.hoplahup.net/Census/CD-nums1/pi | |||||||||||||||||||||||||
67 | radius | G7 math | symbol | mi r | https://www.khanacademy.org/math/cc-seventh-grade-math | ||||||||||||||||||||||||||
68 | diameter | G7 math | symbol | mi d | https://www.khanacademy.org/math/cc-seventh-grade-math | ||||||||||||||||||||||||||
69 | probability | G7 math | function | mi p | https://www.khanacademy.org/math/cc-seventh-grade-math | ||||||||||||||||||||||||||
70 | square-root | G8 math | msqrt | msqrt | principle-root | square-root of $1 principle root of $1 | https://www.khanacademy.org/math/cc-eighth-grade-math https://youtu.be/qFFhdLlX220?t=58 | ||||||||||||||||||||||||
71 | root | G8 math | mroot | mroot | https://www.khanacademy.org/math/cc-eighth-grade-math | http://notations.hoplahup.net/Census/CD-arith1/root | |||||||||||||||||||||||||
72 | change | G8 math highschool physics | function | mi Δ | displacement | delta $1 change in $1 | https://www.khanacademy.org/math/cc-eighth-grade-math https://youtu.be/24WMbh1BBKc https://youtu.be/Dzw2nLd7DFw?t=113 | ||||||||||||||||||||||||
73 | distance | G8 math | symbol | mi d mi D | distance between $1 and $2 | https://www.khanacademy.org/math/cc-eighth-grade-math https://youtu.be/S6BHQMk8C_A?t=88 | |||||||||||||||||||||||||
74 | triangle | G8 math | prefix | mrow △ $1$2$3 | https://www.khanacademy.org/math/cc-eighth-grade-math | ||||||||||||||||||||||||||
75 | square | G8 math | prefix | mrow □ $1$2$3$4 | https://www.khanacademy.org/math/cc-eighth-grade-math | ||||||||||||||||||||||||||
76 | rectangle | G8 math | prefix | mrow ▭ $1$2$3$4 | https://www.khanacademy.org/math/cc-eighth-grade-math | ||||||||||||||||||||||||||
77 | volume | G8 math | symbol | mi V | https://www.khanacademy.org/math/cc-eighth-grade-math | ||||||||||||||||||||||||||
78 | translates-to | G8 math | infix | mo → | maps-to | https://www.khanacademy.org/math/cc-eighth-grade-math https://www.khanacademy.org/math/precalculus/x9e81a4f98389efdf:matrices/x9e81a4f98389efdf:elementary-matrix-row-operations/a/matrix-row-operations?modal=1 | |||||||||||||||||||||||||
79 | ordered-pair | G8 math | fenced | mrow ⟨$1, $2⟩ mrow ($1, $2) mrow ($1 ; $2) | tuple pair ordered-set-notation | $1 $2 the pair $1 comma $2 | https://www.khanacademy.org/math/cc-eighth-grade-math https://faculty.tarleton.edu/jgresham/Math%20109/notes_vector.pdf https://en.wikipedia.org/wiki/Vector_notation#Ordered_set_notation | Bulgarian texts tend to use semicolon (;) as a separator to better contrast with the "decimal comma" as in (1,5 ; 2,5 ) | |||||||||||||||||||||||
80 | translation | G8 math | msub | msub T ($1, $2) | T $1 comma $2 translation by $1 comma $2 | https://www.khanacademy.org/math/cc-eighth-grade-math | |||||||||||||||||||||||||
81 | positive | algebra 1 ecology | prefix atom | mo + | https://youtu.be/PDReqvXfkBA https://youtu.be/mHH0sSm2cK8?t=52 https://www.khanacademy.org/science/high-school-biology/hs-ecology/hs-ecological-relationships/a/ecological-interactions?modal=1 | Interesting: (+ +) in ecology spoken "win win", (+ -) spoken "win loss" | |||||||||||||||||||||||||
82 | negative | algebra 1 ecology | prefix atom | mo - | https://youtu.be/mHH0sSm2cK8?t=52 https://www.khanacademy.org/science/high-school-biology/hs-ecology/hs-ecological-relationships/a/ecological-interactions?modal=1 | ||||||||||||||||||||||||||
83 | or | algebra 1 | infix | mtext OR mtext or | https://www.khanacademy.org/math/algebra/x2f8bb11595b61c86:solve-equations-inequalities/x2f8bb11595b61c86:compound-inequalities/a/compound-inequalities-review | ||||||||||||||||||||||||||
84 | and | algebra 1 | infix | mtext AND mtext and | https://www.khanacademy.org/math/algebra/x2f8bb11595b61c86:solve-equations-inequalities/x2f8bb11595b61c86:compound-inequalities/a/compound-inequalities-review | ||||||||||||||||||||||||||
85 | open-interval | algebra 1 | fenced | mrow ($1,$2) mrow ]$1, $2[ mrow ($1 ; $2) | https://youtu.be/A3xPhzs-KBI?t=486 https://youtu.be/HZ7a9YkF204?t=5795 | Cyrillic practice uses the semicolon ; as a seprator, Western practice uses a comma. | http://notations.hoplahup.net/Census/CD-interval1/ | ||||||||||||||||||||||||
86 | closed-interval | algebra 1 | fenced | mrow [$1, $2] mrow [$1 ; $2] | https://youtu.be/A3xPhzs-KBI?t=486 https://youtu.be/HZ7a9YkF204?t=5795 | Cyrillic practice uses the semicolon ; as a seprator, Western practice uses a comma. | http://notations.hoplahup.net/Census/CD-interval1/ | ||||||||||||||||||||||||
87 | open-closed-interval | algebra 1 | fenced | mrow ($1, $2] mrow ]$1, $2] mrow ($1 ; $2] | https://youtu.be/A3xPhzs-KBI?t=486 https://youtu.be/HZ7a9YkF204?t=5795 | Cyrillic practice uses the semicolon ; as a seprator, Western practice uses a comma. | http://notations.hoplahup.net/Census/CD-interval1/ | ||||||||||||||||||||||||
88 | closed-open-interval | algebra 1 | fenced | mrow [$1, $2) mrow [$1, $2[ mrow [$1 ; $2) | https://youtu.be/A3xPhzs-KBI?t=486 https://youtu.be/HZ7a9YkF204?t=5795 | Cyrillic practice uses the semicolon ; as a seprator, Western practice uses a comma. | http://notations.hoplahup.net/Census/CD-interval1/ | ||||||||||||||||||||||||
89 | |||||||||||||||||||||||||||||||
90 | particular-value-of ? | algebra 1 | msub | msub $1 $2 | $1 $2 $1 sub $2 | https://youtu.be/-6Fu2T_RSGM?t=37 https://www.khanacademy.org/math/algebra/x2f8bb11595b61c86:forms-of-linear-equations/x2f8bb11595b61c86:summary-forms-of-two-variable-linear-equations/a/forms-of-linear-equations-review?modal=1 | For some "y = mx+b", x_1 and y_1 are "particular values" of x and y "a sub k" heard spoken for a particular value of an arithmetic sequence "a" | ||||||||||||||||||||||||
91 | inverse-function | algebra 1 | msup | msup $1 -1 | inverse | $1 inverse | https://youtu.be/wSiamij_i_k https://www.khanacademy.org/math/algebra/x2f8bb11595b61c86:functions/x2f8bb11595b61c86:inverse-functions-intro/a/intro-to-inverse-functions?modal=1 https://youtu.be/aHzd-u35LuA?t=139 https://youtu.be/Ei54NnQ0FKs?t=341 | "inverse tangent" for "msup tan -1" "inverse cosine" for "msup cos -1" but also "arc cosine" | |||||||||||||||||||||||
92 | system-of-equations | algebra 1 | prefix | mo { mo | | https://youtu.be/BmmB-U6jq1w https://bg.wikipedia.org/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_%D0%BB%D0%B8%D0%BD%D0%B5%D0%B9%D0%BD%D0%B8_%D1%83%D1%80%D0%B0%D0%B2%D0%BD%D0%B5%D0%BD%D0%B8%D1%8F | an international addition from the Slavic school | |||||||||||||||||||||||||
93 | identically-equal | algebra 1 | infix | mo ⇔ mo <=> | $1 is identically equal to $2 | https://youtu.be/BmmB-U6jq1w?t=305 | an international addition from the Slavic school, "тъждествено равен" in Bulgarian | ||||||||||||||||||||||||
94 | piecewise | algebra 1 | mtable | mrow { mtable $1...$n | https://youtu.be/-DTMakGDZAw?t=329 https://youtu.be/v1ucHH06AxM https://youtu.be/riXcZT2ICjA?t=293 | ||||||||||||||||||||||||||
95 | such-that | algebra 1 | infix | mo | mo : mo s.t. | |||||||||||||||||||||||||||
96 | element-of | algebra 1 set theory | infix | mo ∈ | in, member-of | $1 is in $2 $1 is an element of $2 $1 is a member of $2 $1 within $2 $1 is between $2.1 and $2.2 $1 belongs to $2 $1 belonging to $2 | https://youtu.be/-DTMakGDZAw?t=186 | Sometimes spoken "within" when $2 is an interval, or alternatively "$1 is between $2 and $3" https://youtu.be/hg2HR9zJFq4?t=94 | |||||||||||||||||||||||
97 | not-element-of | set theory | infix | mo ∉ | not-member-of | https://youtu.be/GVZUpOm3XUg | |||||||||||||||||||||||||
98 | subset-of-or-equal | set theory | infix | mo ⊆ | subset-of | https://youtu.be/1wsF9GpGd00?t=90 | |||||||||||||||||||||||||
99 | proper-subset-of | set theory | infix | mo ⊂ mo ⊊ | strict-subset-of | https://youtu.be/1wsF9GpGd00?t=145 https://en.wikipedia.org/wiki/Subset https://mathworld.wolfram.com/ProperSubset.html https://ncatlab.org/nlab/show/proper+subset | |||||||||||||||||||||||||
100 | proper-superset-of | set theory | infix | mo ⊃ mo ⊋ | strict-superset-of | https://youtu.be/1wsF9GpGd00?t=145 https://en.wikipedia.org/wiki/Subset https://mathworld.wolfram.com/ProperSubset.html https://ncatlab.org/nlab/show/proper+subset |