Adding package amssymb to support \lessgtr (apartness) in LaTeX output of coqdoc.

1 files changed, 1 insertions, 0 deletions

diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
index 44a0b1d361..1a9d4d738f 100644
--- a/doc/stdlib/Library.tex
+++ b/doc/stdlib/Library.tex
@@ -5,6 +5,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{fullpage}
 \usepackage{amsfonts}
+\usepackage{amssymb}
 \usepackage{url}
 \usepackage[color]{../../coqdoc}