6

I try to use unicode characters in tex source:

\documentclass{article}

\usepackage[utf8]{inputenc}

\begin{document}

\end{document}

The universal quantifier does not typeset with xelatex.

pdflatex says

! Package inputenc Error: Unicode char ∀ (U+2200)
(inputenc)                not set up for use with LaTeX.

What else should I use to typeset a universal quantifier given as a Unicode character?

Gergely
  • 1,065
  • 1
  • 8
  • 17

2 Answers2

11

You need to declare it, by default pdflatex supports only a subset.

\documentclass{article}

\DeclareUnicodeCharacter{2200}{\forall}

\begin{document}

$∀$

\end{document}

Ulrike Fischer
  • 327,261
4

For XeLaTeX and LuaLaTeX, many mathematical characters are defined in the unicode-math package

% !TeX encoding = UTF8
% !TeX program = lualatex
\documentclass{standalone}
\RequirePackage{unicode-math}
\begin{document}
$∀∃ℝ∈⟹$
\end{document}

enter image description here