-
Notifications
You must be signed in to change notification settings - Fork 3
Proposed New Math AutoCorrect Codes for Commonly Used Symbols
Note: Work in Progress - not a finalized document
Math AutoCorrect codes allow users to type mathematical symbols in MS Word by entering text codes which automatically convert to proper math symbols. For example, \pi for the lowercase Greek pi character. These codes provide a predictable, keyboard-based method to create complex mathematical expressions through memorized text patterns rather than having to locate symbols in menus or toolbars.
This document proposes 101 new Math AutoCorrect codes for inclusion in Microsoft 365 applications (Word, PowerPoint, OneNote, etc.). These recommendations from the DAISY Microsoft Word Accessibility project aim to enhance mathematical content creation for all users, particularly those with visual impairments. The proposed codes include:
- New codes for common mathematical symbols currently lacking AutoCorrect shortcuts
- More intuitive alternatives to existing codes (e.g.,
\unionas a more memorable alternative to\cupfor the set union symbol)
This page is the product of the following two discussions:
- Let's Generate a List of Aliases for Existing Math AutoCorrect Codes
- Let's Generate a List of Missing Math AutoCorrect Codes for Commonly Used Symbols
Each section contains a table organizing proposed new Math AutoCorrect entries by mathematical category. The tables have six columns:
- Name - Description of the symbol
- Symbol - The mathematical symbol as its Unicode character
- Unicode Hex Value - The Unicode hexadecimal value for the symbol
- Existing Entries(s) - Current AutoCorrect entries(s) if any exist, or "None" if the symbol has no current AutoCorrect entry
- Proposed New Alternative(s) - Proposed new or alternative AutoCorrect entry
- Notes - Additional context or important information
For reference, there is a complete list of the default Math AutoCorrect codes for MS Word 365 in the wiki: Reference List Math Autocorrect Entries in MS Word 365 (Alphabetical)
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Cents sign | ¢ | U+00A2 | None | \cents |
Commonly used to help young students understand money-related arithmetic. |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New Alternative(s) | Notes |
|---|---|---|---|---|---|
| Repeating decimal | ¯ | U+00AF |
\overbar, \overline
|
\repeat |
Common in early algebra; current codes don't reflect mathematical meaning |
| Repeating decimal | ¯ | U+00AF |
\overbar, \overline
|
\repeating |
Common in early algebra; current codes don't reflect mathematical meaning |
| Repeating decimal | ¯ | U+00AF |
\overbar, \overline
|
\vinculum |
Common in early algebra; current codes don't reflect mathematical meaning |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Infinity | ∞ | U+221E | \infty |
\infinity |
|
| Square root | √ | U+221A | \sqrt |
\2root |
|
| Cube root | ∛ | U+221B | \cbrt |
\3root |
|
| Fourth root | ∜ | U+221C | \qdrt |
\4root |
|
| Composition | ∘ | U+2218 | \circ |
\comp |
|
| Degrees | ° | U+00B0 | \degree |
\deg |
|
| Radians | ㎭ | U+33AD | N\A | \rad |
|
| Join | ⋈ | U+22C8 | \bowtie |
\join |
|
| End of proof, QED | ∎ | U+220E | N/A | \qed |
|
| End of proof, QED | ∎ | U+220E | N/A | \endproof |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Circle | ◯ | U+25EF | None | \circle |
The circle symbol is larger than the letter O, but could possibly be confused with the letter O. Note that \odot produces ⊙, which is read as "circle dot operator." |
| Circle with dot inside | ⊙ | U+2299 | \odot |
\circledot |
|
| Line (combining left-right arrow above) | ⃡ | U+20E1 | \tvec |
\line |
|
| Segment | ¯ | U+00AF |
\overbar, \overline
|
\seg |
Direct connection to mathematical terminology |
| Measured angle | ∡ | U+2221 | None | \measangle |
|
| Right angle | ∟ | U+221F | None | \rightangle |
This symbol does not appear in any of the galleries of Word's equation toolbar. |
| Triangle | △ | U+25B3 | None | \triangle |
This is read as "white up-pointing triangle." |
| Parallelogram | ▱ | U+25B1 | \underline |
\parallelogram |
|
| Not parallel to | ∦ | U+2226 | N/A | \notparallel |
Using /\parallel does not work. |
| Ray (combining right arrow above) | ⃗ | U+20D7 | \vec |
\ray |
Students learn rays before vectors in geometry; current code creates unnecessary cognitive load by using vector terminology for a basic geometric concept |
| Arc | ⏜ | U+23DC | \overparen |
\arc |
Current code reflects shape rather than mathematical meaning; new code matches standard geometric terminology and verbal expression |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Not less than | ≮ | U+226E | /< |
\nlt |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Not less than | ≮ | U+226E | /< |
\notlt |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Not greater than | ≯ | U+226F | /> |
\ngt |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Not greater than | ≯ | U+226F | /> |
\notgt |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Neither less than nor equal to | ≰ | U+2270 | /\le |
\nleq |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Neither less than nor equal to | ≰ | U+2270 | /\le |
\notle |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Neither greater than nor equal to | ≱ | U+2271 | /\ge |
\nge |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Neither greater than nor equal to | ≱ | U+2271 | /\ge |
\notge |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Neither greater than nor equal to | ≱ | U+2271 | /\ge |
\ngeq |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Neither greater than nor equal to | ≱ | U+2271 | /\ge |
\notgeq |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Logical not | ¬ | U+00AC | \neg |
\not |
|
| Much greater than | ≫ | U+226B | \gg |
\muchgreater |
|
| Much less than | ≪ | U+226A | \ll |
\muchless |
|
| Not almost equal to | ≉ | U+2249 | /\approx |
\notapprox |
The symbol is not rendering properly in Edge or Chrome (OK in Firefox). |
| Not congruent to | ≇ | U+2247 | /\cong |
\notcong |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New Alternative(s) | Notes |
|---|---|---|---|---|---|
| Double integral | ∬ | U+222C | \iint |
\doubleint |
More intuitive than repeating the letter |
| Triple integral | ∭ | U+222D | \iiint |
\tripleint |
More intuitive than repeating the letter |
| Double prime | ″ | U+2033 | \pprime |
\dprime |
|
| Double prime | ″ | U+2033 | \pprime |
\doubleprime |
|
| Triple prime | ‴ | U+2034 | \ppprime |
\tprime |
|
| Triple prime | ‴ | U+2034 | \ppprime |
\tripleprime |
|
| Quadruple prime | ⁗ | U+2057 | \pppprime |
\qprime |
|
| Quadruple prime | ⁗ | U+2057 | \pppprime |
\quadprime |
|
| Nabla/Gradient | ∇ | U+2207 | \nabla |
\grad |
|
| Laplacian | ∆ | U+2206 | \inc |
\laplace |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Union | ∪ | U+222A | \cup |
\union |
|
| Union | ⋃ | U+22C3 | \bigcup |
\Union |
|
| Intersection | ∩ | U+2229 | \cap |
\intersection |
|
| Intersection | ⋂ | U+22C2 | \bigcap |
\Intersection |
|
| Not a subset of | ⊄ | U+2284 | /\subset |
\notsubset |
|
| Not a superset of | ⊅ | U+2285 | /\superset |
\notsuperset |
|
| Neither a subset of nor equal to | ⊈ | U+2288 | /\subseteq |
\notsubseteq |
|
| Neither a superset of nor equal to | ⊉ | U+2289 | /\superseteq |
\notsuperseteq |
|
| Subset of with not equal to | ⊊ | U+228A | None | \subsetnoteq |
|
| Superset of with not equal to | ⊋ | U+228B | None | \supersetnoteq |
|
| Element of; belongs to | ∈ | U+2208 | \in |
\belongs |
|
| Element of; belongs to | ∈ | U+2208 | \in |
\element |
Pairs with \notelement
|
| Contains as member | ∋ | U+220B | \ni |
\contains |
Current code (\ni) is counterintuitive as it could be read as "not in". New code matches how the symbol is verbally expressed ("contains as a member"). |
| Contains as member | ∋ | U+220B | \ni |
\owns |
Current code (\ni) is counterintuitive as it could be read as "not in". This alternative is how it is frequently expressed. |
| Power set | ℘ | U+2118 | \wp |
\powerset |
|
| Set complement | ∁ | U+2201 | N/A | \complement |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Divides; is divisible by | ∣ | U+2223 | \mid |
\divide |
This alias directly describes the meaning of the symbol, making it more intuitive, especially for users who may not be familiar with the existing \mid code. |
| Does not divide; is not divisible by | ∤ | U+2224 | None | \notdivide |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Conjunction (AND), logical AND | ∧ | U+2227 | \wedge |
\and |
|
| Conjunction (AND), logical AND | ∧ | U+2227 | \wedge |
\land |
|
| Disjunction (OR), logical OR | ∨ | U+2228 | \vee |
\or |
|
| Disjunction (OR), logical OR | ∨ | U+2228 | \vee |
\lor |
|
| Not AND (NAND) | ⊼ | U+22BC | None | \nand |
|
| Not OR (NOR) | ⊽ | U+22BD | None | \nor |
|
| Exclusive OR (XOR) | ⊕ | U+2295 | \oplus |
\xor |
|
| Exclusive NOR (XNOR) | ⊙ | U+2299 | \odot |
\xnor |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Proves | ⊢ | U+22A2 | \vdash |
\proves |
|
| Tautology (Always True) | ⊤ | U+22A4 | \top |
\tautology |
|
| Contradiction (Always False) | ⊥ | U+22A5 | \bot |
\false |
|
| Contradiction (Always False) | ⊥ | U+22A5 | \bot |
\contradiction |
|
| Implication (If...then) | → | U+2192 | \rightarrow |
\implication |
|
| Implication (If...then) | → | U+2192 | \rightarrow |
\implies |
|
| Biconditional (If and only if) | ↔ | U+2194 | \leftrightarrow |
\biconditional |
|
| Implication, double arrow (If...then) | ⇒ | U+21D2 | \Rightarrow |
\Implication |
|
| Implication, double arrow (If...then) | ⇒ | U+21D2 | \Rightarrow |
\Implies |
|
| Biconditional, double arrow (If and only if) | ⇔ | U+21D4 | \Leftrightarrow |
\Biconditional |
|
| Forces | ⊩ | U+22A9 | None | \forces |
|
| Entailment | ⊨ | U+22A8 | \models |
\entailment |
|
| Entailment | ⊨ | U+22A8 | \models |
\true |
|
| For all | ∀ | U+2200 | \forall |
\foreach |
Matches common programming terminology and verbal description |
| There exists | ∃ | U+2203 | \exists |
\forsome |
Matches common verbal description |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Standard deviation | σ | U+03C3 | \sigma |
\stddev |
|
| Population mean | μ | U+03BC | \mu |
\mean |
|
| Correlation coefficient | ρ | U+03C1 | \rho |
\corr |
|
| Expected value | 𝔼 | U+1D53C | \doubleE |
\expect |
|
| Probability | ℙ | U+2119 | \doubleP |
\prob |
| Name | Symbol | Unicode Hex Value | Existing Entry(s) | Proposed New/Alternative(s) | Notes |
|---|---|---|---|---|---|
| Kronecker product | ⊗ | U+2297 | \otimes |
\kron |
Used in matrix operations to denote the Kronecker (tensor) product |
| Hadamard product | ⊙ | U+2299 | \odot |
\hadamard |
Element-wise multiplication of matrices of the same dimensions |
| Adjoint/Hermitian transpose | † | U+2020 | None | \adjoint |
Used for conjugate transpose in complex matrices |
| Identity matrix | 𝐈 | U+1D408 | None | \identity |
Represents the identity matrix, often denoted with bold I |
| Direct sum | ⊕ | U+2295 | \oplus |
\directsum |
Used in block matrix operations |