# Typesetting unicode characters

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?

• You'll probably need to use a font that supports it. Apr 22, 2021 at 9:05
• LuaTeX seems to have a good support for a lot of fonts. I never play with it. Apr 22, 2021 at 9:36
• the help text for the pdftex error does tell you the command to use to define it (as in Ulrike's answer) Apr 22, 2021 at 17:53
• Special case of tex.stackexchange.com/questions/34604/… Jun 2 at 15:39

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

\documentclass{article}

\DeclareUnicodeCharacter{2200}{\forall}

\begin{document}

$∀$

\end{document}


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}