McIntyre Maths
McIntyre Maths · Extension 2 · The nature of proof

Logic Translator

Write a mathematical statement in words to see it in symbols, or build it in symbols to hear it read back. Use the checker to test your own translation.

Try:
In symbols

How it was read

Related statements

When a negation flips an inequality (< becomes ≥), it assumes the variables are real numbers.

Symbol guide and phrases the translator understands
SymbolRead it asType it as
∀for all, for everyforall
∃, ∃!there exists, there exists a uniqueexists
¬not, it is not the case that~ or not then a space
∧and/\ or and
∨or (inclusive: one or both)\/ or or
⇒implies; if … then …=>
⇔if and only if (iff); is equivalent to<=> or iff
∈, ∉is an element of, is not an element ofx in R becomes x ∈ ℝ
ℕ ℤ ℚ ℝ ℂnatural numbers, integers, rationals, reals, complex numbersN Z Q R C after ∈
∣, ∤divides, does not divide (2 ∣ n means n is even)| (a single bar)
≤ ≥ ≠at most, at least, not equal to<= >= !=
x²x squaredx^2

Phrases you can use in words