Math Logic

Write math and logic in any AI chat without leaving the chat box. Math Logic is like Grammarly, but for math notation. It works where you type, in ChatGPT, Claude, Gemini or any other text box, so you never need a separate equation editor. HOW IT WORKS • Backslash shortcuts: type \forall, \in, \RR, \int, \alpha and more. Pick from the suggestions with Tab or Enter, or press Space after the full name. \forall x \in \RR → ∀x ∈ ℝ • Smart operators as you type: -> becomes →, <= becomes ≤, != becomes ≠, x^2 becomes x² and a_n becomes aₙ. Code blocks are left alone. • Templates with boxes: \frac, \sumto, \intab, set builder and more. Tab jumps from one ⬚ to the next. Sizes go in the shortcut, so \mat2x3 is two rows by three columns, \vec5 has five entries and \cases3 has three branches. \intab → ∫_(0)^(1) x² dx • Plain English: type /math followed by what you mean, then press Enter. /math sum of 1/n^2 from n=1 to infinity → ∑_(n=1)^∞ 1/n² Or select any text and press Alt+M, Option+M on a Mac. • Temporal logic for LTL, LTLf, past time LTL, CTL and PCTL. Operators stand alone, so G p and G F p stay valid, and \Gof inserts G(⬚) when the argument is compound. Next comes in three forms: \X for plain next, \Xs for strong next and \Xw for weak next. • Automata and formal models: \dfa, \nfa, \pda, \tm, \cfg, \kripke, \mdp and more expand to the standard tuple with its transition function, for example M = (Q, Σ, δ, q₀, F), δ: Q × Σ → Q. Add def to any of them, as in \dfadef, for the full definition with a box for each part. • Target syntax: tools disagree about what a bare X means on a finite trace. It is strong next in LTLf2DFA, while Spot and PyLogics read it as weak next and write strong next as X[!]. Pick your tool in Settings and ASCII output uses its spelling. Unicode and LaTeX display never change. • Formula check: when a line looks like a formula, a small note points out what will not parse, what the chosen tool will not accept, what parses but may not mean what you think, and style slips such as mixing ⇒ with →. It only warns. It never rewrites what you typed, and Esc hides it. • Formula inspector: paste a formula into Settings and see its structure as a tree, so you can tell whether a requirement sits inside G(start ⇒ …) or beside it. • Diagrams the AI can read: \graph inserts a Mermaid state diagram, \graphviz a DOT block and \ttable3x2 a transition table. • Four output formats: Unicode, LaTeX, plain ASCII or Auto. LaTeX is wrapped in the delimiters each chat renders best: \( … \) on ChatGPT, $$ … $$ on Claude, $ … $ elsewhere. • Your own shortcuts: add lines such as "bayes = P(A|B) = P(B|A)P(A)/P(B)" in Settings. • Safe in chat boxes: Enter never sends your message by accident while a suggestion is open. PRIVATE BY DESIGN Everything runs in your browser. No accounts, no analytics, no ads, no server of ours. AI help is optional. For phrases the built in converter cannot read, you can turn on AI conversion with your own free API key. Groq is recommended, and Gemini, OpenRouter or a local model also work. It is off by default. When it is on, only the phrase being converted is sent, straight to the provider you chose. Over 250 symbols and templates across logic, sets, number systems, calculus, relations, arrows, Greek letters, probability, computer science, temporal logic and automata.