Why are symbols not written in words?

Question

We could have written = as "equals", + as "plus", $\exists$ as "thereExists" and so on. Supplemented with some brackets everything would be just as precise.

$$\exists x,y,z,n \in \mathbb{N}: n>2 \land x^n+y^n=z^n$$

could equally be written as:

ThereExists x,y,z,n from theNaturalNumbers suchThat 
     n isGreaterThan 2 and x toThePower n plus y toThePower n equals z toThePower n

What is the reason that we write these words as symbols (almost like a Chinese word system?)

Is it for brevity? Clarity? Can our visual system process it better?

Because not only do we have to learn the symbols, in order to understand it we have to say the real meaning in our heads.

If algebra and logic had been invented in Japan or China, might the symbols actually have just been the words themselves?

It almost seems like for each symbol there should be an equivalent word-phrase that it corresponds to that is accepted.

Answer 1

"Integral From a x squared Plus b Plus c To Infinity of a Times LeftParenthesis x Plus LeftParenthesis x Plus c RighParenthesis Over LeftParenthesis x Plus One RightParenthesis Differential x IsGreater Integral From a x squared Plus b Minus c To Infinity of a Times LeftParenthesis x Plus LeftParenthesis x Plus c RighParenthesis Over LeftParenthesis x Minus One RightParenthesis Differential x Implies Integral From a x squared Minus b Plus c To Infinity of a Times LeftParenthesis x Plus LeftParenthesis x Plus c RighParenthesis Over LeftParenthesis x Plus One RightParenthesis Differential x IsGreater Integral From a x squared Plus b Minus c To Infinity of a Times LeftParenthesis x Plus LeftParenthesis x Plus c RighParenthesis Over LeftParenthesis x Minus One RightParenthesis Differential x" ?

---

Quiz:

Do you recognize this one ?

Summation On j From 1 Upto N Of y Index k Times the Product On k From 1 And k NotEqual to j Upto N Of x Minus x Index k Over x Index j Minus x Index k.

Answer 2

There are lots of reasons.

A major one is of course brevity. Using mathematical notation is much shorter than writing things out in full, which will make a huge difference to a 100+ page proof.

What's more, in mathematical notation, synonyms don't exist. We can say the same thing in English in two different ways, but there is only one true way to express things in notation

The third, and most significant, problem with this is: not everyone speaks English! While we read this notation in our language, other countries will read it in theirs and interpret the same meaning.

Answer 3

Others have already answered on why one should use symbols. I want to add that one shouldn't overuse symbols, as people sometimes do.

With too many symbols, statements get clustered and confusing. Out of lazyness, many like to write $\exists$ quantors in the middle of a sentence. Others overuse e.g. $\land$, etc. ($\land$ is not a synonym for "and"!)

So basically, one shouldn't overuse symbols.

Answer 4

Because not only do we have to learn the symbols, in order to understand it we have to say the real meaning in our heads.

That doesn't match my personal experience. For me, if someone speaks a formula aloud, I have to reconstruct in my head how it looks before I can begin to understand what it means. (Sometimes "in my head" doesn't work, and I need to use paper instead).

As for advantages, here is a bit I once wrote for another answer:

Also: cheating is allowed. Very often, large parts of a formula are identical to large parts of a previous formula -- and the only thing that really matters is how it differs from the previous formula. In those cases it is expected that you'll just think to yourself, "oh, this thing is the same as that thing over there", without bothering to understand or remember exactly what "that thing" was in detail. You can just compare the relevant parts symbol for symbol without thinking.

In fact, this last point is part of the reason why formulas are designed to be compact and dense with information. It increases the chance that you can keep the entire formula in your visual short-term memory as you move your eyes from one formula to the next, and thereby make it easy to spot that some parts of them look alike, without even being conscious of the individual symbols. (Who knew all those inane spot-the-differences problems you find in kids' magazines actually train a highly relevant mathematical skill? They do!)

Answer 5

Consider this problem, taken from The Evolution of Algebra in Science, vol. 18, no. 452 (Oct 2, 1891) pp. 183-187 (taken from JSTOR, itself translated from work of Nesselman on a problem by Mohammed ibn Musa):

A square and ten of its roots are equal to nine and thirty units, that is, if you add ten roots to one square, the sum is equal to nine and thirty. The solution is as follows: halve the number of roots, that is, in this case, five; then multiply this by itself, and the result is five and twenty. Add this to the nine and thirty, which gives four and sixty; take the square root, or eight, and subtract from it half the number of roots, namely five, and there remains three: this is the root of the square which was required and square itself is nine.

This is how algebra used to be done; you have similar descriptions in Babylonian scribe tablets, Egyptian papyrii, Middle Age textbooks, etc.

Using symbols, the problem becomes, first, to solve $x^2+10x = 39$. The process is to complete the square: $$\begin{align*} x^2 + 10x &= 39\\ x^2 + 10x + 25 &= 64\\ (x+5)^2 &= 64\\ x+5 &= 8\\ x &= 3 \end{align*}$$ Something that is much easier to do without too much thought, and certainly much less effort, than the decription. Also, the idea of completing the square is much simpler to explain in symbols than it is to do so rhetorically.

Answer 6

Quoting Robert Recorde, inventor of the equals sign:

"And to avoid the tedious repetition of these words: is equal to: I will set as I do often in work use, a pair of parallels, or Gemowe lines of one length, thus: =, because no 2 things, can be more equal." (

Answer 7

Simply it is simpler to write it in symbols

If we are going your way the equation

$$\exists x,y,z,n \in \mathbb{N}: n>2 \land x^n+y^n=z^n$$

would become

ThereExists SomeNumber,AnotherNumber,AnotherAnotherNumber,AnotherAnotherAnotherNumber from theNaturalNumbers suchThat 
     AnotherAnotherAnotherNumber isGreaterThan Two and SomeNumber toThePower AnotherAnotherAnotherNumber plus AnotherNumber toThePower AnotherAnotherAnotherNumber equals AnotherAnotherNumber toThePower AnotherAnotherAnotherNumber

as you can see clearly instead of 2 lines where it is very hard to read and understand, it was written by half line that is can be read easily

in top of that math code is international language, people in Japan, France, Palestine, etc. they all can understand the math without speaking English

Answer 8

An important point that the other answers haven't (I believe) mentioned: for many mathematical symbols, the natural language 'word-phrase' has a subtly different meaning.

A few examples:

• $\exists$ is about whether or not an element with particular properties lies in our domain of discourse, whereas there exists, in natural language, is about metaphysical existence. For example, $\exists x: x=2$ is not controversial but there would be people who dispute that the number 2 exists (at least, in the same way that tables and chairs exist).
• The exponentiation function (^) would presumably be rendered to the power of. But once we start writing expressions like $(2+i)^\wedge(3-2i)$ it's not clear that there is any useful intuition remaining behind to the power of.
• $\vee$ is a logical connective that holds when at least one of the propositions either side is true. The most common natural language 'translation', or, is sometimes used in this way but often used for exclusive disjunction, depending on context (for example, someone who asks whether you want the vegetarian or the meat option in a restaurant would not expect 'both' to be a possible answer).
• $\rightarrow$ (often also written $\supset$) is a logical connective that holds when the antecedent is false or the consequent is true. But there is plenty of literature about why this material conditional is a poor model for natural language connectives like if ... then.

If you wanted to use words for these, you either have the problem that the words you are using have different meaning to in usual life (in which case the words are a distraction), or you have to make up new words, in which case there is no particular cognitive saving.

Answer 9

I like the answers here so far, but I would just like to add:

In my personal experience, when I read mathematical symbols that I am familiar with, I don't necessarily say the meaning out loud in my head. I think that kind of thing comes with familiarity with the symbols you're using. For example, seeing $\frac{d}{d\theta}$ doesn't make me think, "the derivative with respect to theta." All that I hear/say in my head when I read it is, "d d$\theta$." The original meaning is still there, I'm aware of it, I just don't explicitly say it. Sometimes I don't even read symbols as words in my head at all - I might hear an equation as just a series of short noises in my head because I'm just acknowledging the symbols on the path to building up a picture of what the equation is saying. It makes for much quicker reading, because instead of having to slog through a bunch of words, the meaning is explicitly clear to me on sight.

I think if you keep doing math, you'll also develop a familiarity with the symbols and you won't need to explicitly state everything in your head.

Answer 10

There are plenty of reasons for prefering symbols:

Brevity: Compare the two sentences you just wrote. Why would I want to scroll when reading an equation? Also, isn't it nicer to see it in just one line. Moreover, it takes much less time to write "*" than "multipliedBy". I just don't want to write "multipliedBy" a hundred times for doing basic calculations

Clarity and precision: While the meaning of words may change over time, mathematical symbols do stay the same. Also, they don't allow for any kind of ambiguity. For instance, we all agree that $-5 < -3$ but some people would think of negativeFive as a biggerNumber than negativeThree, and for good reason. Others would not.

Language variation: Here you have two choices: Either you force everyone who wants add two numbers together to learn English/Latin/whatever, or you will run into trouble with translations. You may want to translate circuloDeRadioDos as circleOfRadiusTwo. Congratulations! You've screwed up! Now your surface is a line! You may argue that only a few words would have to be remembered for basic math, but while symbols have translated names that stick into one's mind, eventually, someone will scratch their head wondering "This plus thing, was it más or menos? Yeah! I'm pretty sure it was menos There was definitely a different keyword for más

Coding standards: If you are asking this question in these terms, I am 100% sure you are a software developer. I am also confident that you use Java. Well, first, camelCase is awful! Everyone know that! Deal with it! It also only applies to languages with upper/lowercase distinctions. Also, if not even a "small" community of R programmers can agree to how to write variables, how do you expect the entire world to do so?

As a final remark, I would like to point out that there are cases where replacing words by symbols is not advisealbe. While you should definitely use symbols rather than words for basic things like "+, -", and you should define sets with "{stuff that verifies X}" rather than

Set set = new Set();
set.append(stuff);
for(i in 1:length(set)) {
 if(set[i].verifies(X)) {
  set.remove(i)
 }
}

Wow! I am pretty sure you are really enjoying this last paragraph! The world should look like this in your eyes! OK, you probably thought of something more Let set be the SetContaining stuff suchThat stuff VerifiesX, but the point is clear. Math is not coding, and it should not look like coding. This comes as a new idea to many people in the Stack Exchange communities, but not everything in this world is code!

Finally, coming back to seriousness, there is a point in nor overusing symbols, as pointed out by previous answers (see Kezer). I would add that you should avoid symbols unless you are exactly sure of what they mean. Many students beginning their Math degrees are writing absolute nonsense for ignoring this point. At least as a beginner, you should always check that your mathematical symbols make sense in ordinary language terms. But please don't do it in CamelCase!

Answer 11

Yves Daoust's answer demonstrates how unreadable a formula with words instead of symbols tends to be, but doesn't really explain why it is so unreadable.

Certainly brevity is one thing: the more symbols there are in total, the more processing the brain needs to do to even lex the expression (to use the CS term), before we can even begin to parse it.

Reducing the length of the words intuitively reduces the total amount of information on the page – though actually this only works because if all parentheses etc. are written out as a word, there's lots and lots of duplication. Efficient coding avoids such duplication; the simplest way is to choose short indentifiers for everything that's used often. Well, mathematical notation drives this to an extreme by basically using only a single glyph for everything; that's not always viable, but in many formulas there are only few different variables and most of them are repeated quite a lot, so single-character symbols do in maths generally make more sense than whole words for everything.

But that's not all. Yves Daoust's example could be compressed with a coding

a: a
b: b
c: c
d: Derivative
f: From
g: IsGreater
i: Integral
l: LeftParenthesis
m: Times
n: Infinity
o: Of
p: Plus
q: Minus
r: RightParenthesis
s: squared
t: to
u: one
v: Over
x: x
y: Implies

to an extremely short form, that would nevertheless be almost completely unreadable:

ifaxspbpctnoatlxplxpcrvlxpurdxgifaxspbqctnoamlxplxpcrvlxqurdx
yifaxsqbpctnoatlxplxpcrvxpurdxgifaxspbqctnoamlxplxpcrolxqurdx

The real problem isn't solved:

it is completely unusable because it is lacking a geometric layout

Well, I wouldn't phrase it quite this way. Geometric layout is a helpful visual aid for humans, but really the point is that mathematical language is for the most part not “linear stream” like, as a prose story. Rather, it is organised as an abstract syntax tree, and that's where the maths notation shines: it uses geometry to make that structure evident much clearer than with open/close parentheses that need to be found. Note that this can also be done with the compressed string above, with the technique that programmers have for the purpose: indentation and whitespace.

  i f axs p b p c
    t n
    o a m l
           x p lxpcr
           v
           lxpur
          r
    dx
 g
  i f axs p b q c
    t n
    o a m l
           x p lxpcr
           v
           lxqur
          r
    dx
y
  i f axs p b p c
    t n
    o a m l
           x p lxpcr
           v
           x p u
          r
    dx
 g
  i f axs p b q c
    t n
    o a m l
           x p lxpcr
           v
           lxqur
          r
    dx

This would now actually be quite readable, with some practise. The main problem is that it takes up vastly more space than the standard notation, because of all that whitespace. Maths notation avoids this by just making the “top level separators” a bit larger or otherwise visible, instead of making them stand out in the indentation.

Answer 12

My favorite quote by Alfred North Whitehead, from An Introduction to Mathematics (1911):

By relieving the brain of all unnecessary work, a good notation sets it free to concentrate on more advanced problems, and, in effect, increases the mental power of the race. Before the introduction of the Arabic notation, multiplication was difficult, and the division even of integers called into play the highest mathematical faculties. Probably nothing in the modern world would have more astonished a Greek mathematician than to learn that … a large proportion of the population of Western Europe could perform the operation of division for the largest numbers. This fact would have seemed to him a sheer impossibility … Our modern power of easy reckoning with decimal fractions is the almost miraculous result of the gradual discovery of a perfect notation. [...] By the aid of symbolism, we can make transitions in reasoning almost mechanically, by the eye, which otherwise would call into play the higher faculties of the brain. [...] It is a profoundly erroneous truism, repeated by all copy-books and by eminent people when they are making speeches, that we should cultivate the habit of thinking of what we are doing. The precise opposite is the case. Civilisation advances by extending the number of important operations which we can perform without thinking about them. Operations of thought are like cavalry charges in a battle — they are strictly limited in number, they require fresh horses, and must only be made at decisive moments.

Answer 13

If algebra and logic had been invented in Japan or China, might the symbols actually have just been the words themselves?

It almost seems like for each symbol there should be an equivalent word-phrase that it corresponds to that is accepted.

Since neither Japanese nor Mandarin Chinese are formal languages, their sentences contain plenty of ambiguity, so neither could have been appropriated as symbolic logic—whose essential feature is clarity—verbatim.

This disambiguation is one reason that formalising a natural-language sentence is frequently not a straightforward word-by-word substitution. For example, we might rid a sentence of hanging quantifiers by rearranging it either as ∃x∀y Q(x,y) or as ∀y∃x Q(x,y) (they aren't equivalent to each other). Another example: the ostensibly straightforward everyday statement, "Boris hasn't tried anything better than chocolate." is actually quite ambiguous. It has two literal translations, and neither are accurate to the speaker's intended meaning; it is possible to intuit what the speaker means to say, but only to a point between two specific choices. Formal statements have no such problems.