Manifold
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 solved in the document, each step naming the rule it used — the product rule, L’Hôpital, integration by parts — in English or in Hebrew.
A document written in another structured editor opens beside a .mfld — layouts, lists, formulas, tables, footnotes, cross-references and figures all come across. Whatever cannot is reported by name rather than quietly dropped.
Mark a term wherever you use it and the list carries every page it appears on. The numbers are read after the pages are laid out, so they are the numbers that print.
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.
Footnotes are measured, placed, and measured again, so a note sits on the page of the word that made it. A document in two columns has no gap to hold them and collects them at the back.
Parts of a document that print, or don’t — the version with solutions and the version without, from one file.
Name a version before a rewrite; see later exactly which words changed, in the prose itself rather than as a diff of a file.
Your own \newcommand definitions, used by the editor, the renderer and the LaTeX export alike — and carried inside the document.
Pictures, drawings and macros travel inside the .mfld — sending somebody a document sends them the whole document.
993 of them, with the symbol tables and the phonetic alphabet in the same search rather than in a panel of their own. A symbol whose name you know is one search away.
Two panes over one document — the statement in one, the proof in the other.
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. Here the words read correctly, and they survive the LaTeX export.
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 complete source of this version.
GNU GPL, version 3 or later. The source above is the very tree these builds were made from — build it, change it, pass it on.
tar xf Manifold-source.tar.gz cd manifold-* npm install npm run tauri:dev