I try to use unicode characters in tex source:




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?

  • 2
    You'll probably need to use a font that supports it.
    – daleif
    Apr 22, 2021 at 9:05
  • LuaTeX seems to have a good support for a lot of fonts. I never play with it.
    – projetmbc
    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
  • 1
    Special case of tex.stackexchange.com/questions/34604/…
    – user202729
    Jun 2 at 15:39

2 Answers 2


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






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

% !TeX encoding = UTF8
% !TeX program = lualatex

enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.