Math & Logic Symbols Keyboard – Tangibool

Type ∧ ∨ ¬ → ↔ ∀ ∃ ∈ in any text box. Turn -> or \land into symbols, copy as LaTeX, and check a formula's truth table.

Type math and logic symbols in any text box, and check logic formulas, without leaving the page you are on. SYMBOL PALETTE • 165 symbols in seven groups: logic, sets, relations, operators, arrows, Greek, and super- and subscripts. • Search by name in English or Spanish, by LaTeX command (\forall, \subseteq) or by shortcut. • Click a symbol to insert it where you were typing. Shift-click copies it instead. • Open it from the toolbar or with Alt+Shift+L. SHORTCUTS AS YOU TYPE • -> becomes →, <-> becomes ↔, => becomes ⇒, /\ becomes ∧, \/ becomes ∨, ~p becomes ¬p, <= becomes ≤, >= becomes ≥, != becomes ≠. • LaTeX names become symbols when you type a space or press Tab: \forall, \exists, \in, \subseteq, \alpha and the rest of the palette. • Code blocks, inline code, TeX maths ($…$, \(…\)) and code editors are left as you typed them. • Ctrl+Z straight after a change brings back what you typed. CHECK A FORMULA • Type or paste a formula with AND, OR, NOT, ->, <-> or the symbols. Programming (&&, ||, !) and algebra (A·B' + C) notation work too. • See whether it is always true (a tautology), never true (a contradiction) or only sometimes true, with a row where it is true and a row where it is false. • Truth tables for up to 12 inputs. • When the engine finds a shorter equivalent and checks it on every row, it shows it, labelled "Simplified, not minimal". • Copy the formula as symbols, words, code, algebra or LaTeX, or as a Python or SQL export. • "Open in Tangibool" takes the formula to the Tangibool app, to keep working on it. RIGHT-CLICK • Select text, then choose "Convert to symbols" to convert it in place, or "Check with Tangibool" to check it. PRIVATE BY DESIGN • Everything runs on your device: no account, no analytics, and the extension makes no network requests. • Nothing you type is sent anywhere unless you choose "Open in Tangibool". • The extension only reaches a page when you open it there or use its right-click menu, unless you turn on shortcuts for every site in Settings. The interface is in English and Spanish. Made by Tangibool (tangibool.com): write a rule in plain English, as a formula or as a diagram, and Tangibool checks every case exactly.