Write mathematics, in any direction.
Manifold is a document editor for mathematical writing. Hebrew, English and formulas in one paragraph, each running the way it should — with nothing to set. Real pages on screen, and a PDF that looks like them.
Real pages on screen, and a PDF that looks like them.
Quiet colors, motion that means something, two faces of one theme.
Calculations worked out step by step, branches, tracked versions, drawings from a description — things a plain editor cannot do.
Say what you mean in plain words and the formula is written for you.
Hebrew, English and mathematics in one document — the outline following along. This is a recreation, animated; the real thing is below.
The page on screen is the page in the PDF.
A real page grid: margins, page breaks, and a zoom that is part of the layout, so text is set at the size you see it. PDF export renders the document's own pages — the PDF looks like the editor, not like a different program's idea of it. And when you need LaTeX, the export writes the real thing.
Footnotes at the foot of their own page, two-sided margins that mirror, columns balanced on the last page — on screen and on paper alike.
Quiet enough to write in all day.
Quiet colors, and nothing blinking for your attention. Light and dark are two faces of one theme, so switching never leaves a panel behind — and you can make a theme of your own from four colors, with the opposite face worked out for you.
Your theme is saved with the app and every panel follows it, in both faces.
The basics are a given. The extras are the point.
Formulas edited as formulas, structure chosen from a list, numbering that takes care of itself: all of that is the floor, not the point. Here is what sits above it.
Taken as read: theorem environments, live numbering and cross-references, tables, figures, a bibliography, contents and lists, five paper sizes, two-sided margins, page numbers, running heads and numbered lines. What follows is what you will not find elsewhere.
Derivatives, integrals, limits and series worked out inside the document, each step naming the rule it used — the product rule, L’Hôpital, integration by parts — in English or in Hebrew.
In a paper f is a function and a is a number, and the notation never says so. Write f(x) = x^2 once and the calculation knows what f′(x) and f(3) mean — it works on your paper, not on symbols in general.
Say “a unit circle with an inscribed square” and get a real TikZ figure — compiled before it is offered to you, so what you see is what will print. The picture is stored in the document, so it still shows on a machine with no TeX.
Send a link and you are both writing in the same document at the same time. You see each other’s caret, in its own colour with a name beside it. Nobody waits for a turn, and nothing is overwritten.
Manifold suggests how the sentence you are writing might finish — in English or in Hebrew. The model runs on your own machine, so what you write never leaves it.
Spelling and grammar in English and in Hebrew, on your own machine. The Hebrew check reads things a dictionary cannot — a counted number wearing the wrong gender, say.
Python, C, Rust, Haskell, SQL, pseudocode and more, set as programs rather than as paragraphs. The completion offers the language’s own words and the names already in your program, and needs nothing installed.
An equation too wide for the column breaks after a relation rather than in the middle of a term — and the pieces stay one formula to edit, not three.
A Hebrew word in the middle of an equation is a right-to-left run inside a left-to-right one — the case everything else gets wrong, down to which end the colon lands on.
993 of them, found by name in the same search as everything else — no panel of your own to hunt through. A symbol whose name you know is one search away.
Search for a command and, beside the sentence explaining it, a small document does it — on real text, before you run anything. Under that, every way of reaching it.
Mark parts of the document as belonging to a version — the one with the solutions and the one without — and choose which version prints. One file, not two that drift apart.
Give a version a name before a rewrite. Later, see exactly which words changed — marked in the prose itself, not as a wall of file differences.
Chapters of a thesis kept as one object: a class, a face and margins applied to all of them at once, numbering that runs across the whole thing, and one export for the lot.
Define \R once and write \R for the rest of the paper. The editor draws it, the search finds it and the LaTeX export writes it — and the definition travels inside the document.
Mark a term wherever you use it and the index lists every page it appears on — the pages it will really print on, not an estimate. The same for a list of the symbols you have defined.
Pictures, drawings and your own definitions all travel inside the .mfld — sending somebody a document sends them the whole document, not a file that asks for four others.
A paper written in another structured editor opens beside a .mfld — layouts, lists, formulas, tables, notes, cross-references and figures all come across. Whatever cannot is reported by name rather than quietly dropped.
A second pair of eyes, on your own machine.
- Spelling and grammar checked locally, as you write. Nothing leaves the machine.
- A second opinion from a model you choose — its suggestions are offered, never applied.
- A suggested continuation of the sentence you are writing, in English or Hebrew.
- A diagram drawn from a description, compiled before it is offered.
The obvious thing is one keystroke.
Structure is chosen from a list, a picture is dragged to the width you want, and the PDF is one shortcut away. If you have never used a math editor, this one was built with you in mind — down to the small details.
Each paragraph resolves its own direction from what you type in it. There is no global switch, because there is nothing to switch.
Type \ai in a formula, describe what you want, and press Enter. Nothing changes in your document until you accept what comes back — and it is rendered before it is offered.
The palette answers a question typed in English or Hebrew, and does the thing it names.
It also runs in a browser.
Not a demo, and nothing to install: opening and saving, images, .bib import, LaTeX and PDF export, recovery after a crash, proofing in both languages, the assistant and TikZ drawings all work in a tab.
In daily use by its author.
The builds are made by one run, on each operating system's own machine, and rebuilt on every change — so the link is always the newest work rather than the last release. They are not signed, so the first launch needs one extra step, described under each.
Honestly: Manifold is built and tested on Linux, and nobody has yet launched it on a Mac or a Windows machine. If you do, what you find is worth reporting.
Checksums for all of them, and the terms it is offered under.
Writing, mathematics and LaTeX export need nothing but Manifold. A few optional things want a program of their own — Chromium to export a PDF, TeX Live to change a drawing, a model for the writing help — and Manifold sees what is missing, says what it is for, and installs it through your own machine’s package manager when you press the button.
The editor needs no account and no subscription, and it never will — what you write is yours, in a file on your own disk, readable without it. A few things belong to a plan — keeping your documents in the cloud, writing together on a document, and the writing help when it runs on a model we provide. They are free to start with, and beyond that priced at close to what they cost to run. Never the editor.
The full terms, and those of everything Manifold is built on.