Math Symbol Frequencies

https://leancrew.com/all-this/2025/06/math-symbol-frequencies/

49•tosh•8mo ago

Comments

VonTum•8mo ago

I had a bit of a chuckle that apparently 5 out of 50000 opening "(" parentheses weren't closed, but then I saw that 2 out of 12000 "]" brackets weren't opened! What criminal is using these standalone?

rphln•8mo ago

Mixing them should be relatively common when denoting intervals, as in "(a, b]" or "[a, b)", so that'd be one cause for being unbalanced. But even so, the math on their usage still doesn't add up.

gfaure•8mo ago

There is the normal notation for half-open ranges, which would lead to unbalanced brackets.

smcin•8mo ago

Ah. Good point.

orlp•8mo ago

You won't like bra-ket notation then :)

xelxebar•8mo ago

Probably not this, but J uses lonely brackets and braces as standalone operators: https://code.jsoftware.com/wiki/NuVoc.

devrandoom•8mo ago

I hope you irony of your comment isn't lost.

ivan_ah•8mo ago

Hahahah... Yes, contributing to the frequency tables. At least we're not including the symbols in question in our comments, so as not add to the imbalance!

jxjnskkzxxhx•8mo ago

I mean.... You just used those standalone.

layer8•8mo ago

It seems weird that ∋ would be the sixth-most frequent symbol, while ∈ doesn't figure at all.

mkl•8mo ago

Agreed. Even stranger to me is @ as the fourth most common operator, supposedly more common than +. The whole thing seems dubious.

layer8•8mo ago

I would suspect that the @ comes from author email addresses. It's not entirely wrong to call that an operator. ;)

mmooss•8mo ago

Do papers tend to have more email addresses or more plus signs? I'd expect the latter, by a lot.

mkl•8mo ago

No, the data (as described in So's thesis) was mathematical expressions extracted from TeX source code, so the surrounding text and email addresses etc. were ignored. Skimming through by eye I can't see @ in any of So's tables, and searching for the hex Unicode value the tables list for every other character yields no hits: @ is not in the tables.

∋ is there anomalously frequently, and @ is missing, so something seems to have gone wrong, probably at multiple stages in the pipeline.

dleeftink•8mo ago

The table byline says: "The @ symbol is used to encode mathematical formulas for the computer. It is not visible to the user."

yorwba•8mo ago

Its number of occurrences is 103,090. In the master's thesis identified as the original source https://cs.uwaterloo.ca/~smwatt/home/students/theses/CSo2005... the Unicode value of the operator occurring 103,090 times is given as 2061, and the thesis helpfully explains that

Unicode 2061, 2062 and 2063 are invisible operators. TeX does not have any of these invisible operators. These invisible operators result from the TEX to MathML conversion.

– 2061 – Function application

– 2062 – Invisible times

– 2063 – Invisible separator

And Wikipedia says that function application may be represented as

U+2061 FUNCTION APPLICATION (⁡, ⁡) — a contiguity operator indicating application of a function; that is an invisible zero width character intended to distinguish concatenation meaning function application from concatenation meaning multiplication. https://en.wikipedia.org/wiki/Function_application#Represent...

I'm not sure though how an automated conversion process would be able to distinguish between these.

seanhunter•8mo ago

There definitely is some sort of methodological problem. It thinks \otimes is more than 4 times more frequent than the plain good old fashioned integral sign. There’s absolutely no way that is the case.

dleeftink•8mo ago

A related report from way back, that counts expressions instead of symbols[0]. The counting procedure used in OP's referenced table might benefit from first extracting expressions, and then counting individual symbol frequencies.

[0]: Watt, S. M. A Preliminary Report on the Set of Symbols Occurring in Engineering Mathematics Texts. In Proceedings of MICA 2008: Milestones in Computer Algebra 2008.

omoikane•8mo ago

I wonder if these tables are telling us that it's more conventional to write "a < b" as opposed to "b > a". Is there a style guide for writing equations?

jostylr•8mo ago

Could be. We tend to think of a number line going in that order, that is, the lower numbers are to the left. What is interesting is that being > 0 is often a condition, such as epsilon > 0. Though that is often paired with something like 0 < |x-a| < epsilon. I have often wondered about an alternate mathematics in which the inequality sign was always pointed in the same direction and whether that would ease the difficulty students have with inequalities.

Zig Package Manager Changes

Neutron Scans Reveal Hidden Water in Martian Meteorite

Deepfaking Orson Welles's Mangled Masterpiece

France's homegrown open source online office suite

SpaceX Delays Mars Plans to Focus on Moon

Jeremy Wade's Mighty Rivers

Show HN: MCP App to play backgammon with your LLM

AI Command and Staff–Operational Evidence and Insights from Wargaming

Show HN: CCBot – Control Claude Code from Telegram via tmux

Ask HN: Is the CoCo 3 the best 8 bit computer ever made?

Show HN: Convert your articles into videos in one click

Red Queen's Race

The Anthropic Hive Mind

A Horrible Conclusion

I spent $10k to automate my research at OpenAI with Codex

From Zero to Hero: A Spring Boot Deep Dive

Show HN: Solving NP-Complete Structures via Information Noise Subtraction (P=NP)

Cook New Emojis

Show HN: LoKey Typer – A calm typing practice app with ambient soundscapes

Long-Sought Proof Tames Some of Math's Unruliest Equations

Hacking the last Z80 computer – FOSDEM 2026 [video]

Browser-use for Node.js v0.2.0: TS AI browser automation parity with PY v0.5.11

Michael Pollan Says Humanity Is About to Undergo a Revolutionary Change

Software Engineering Is Back

Storyship: Turn Screen Recordings into Professional Demos

Reputation Scores for GitHub Accounts

A BSOD for All Seasons – Send Bad News via a Kernel Panic

Show HN: I got tired of copy-pasting between Claude windows, so I built Orcha

Omarchy First Impressions

Reinforcement Learning from Human Feedback