From ab337ff78d2b5b5bcfc02176357b5f64f3f9ec0c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 5 Apr 2020 15:13:29 +0200
Subject: Adding package amssymb to support \lessgtr (apartness) in LaTeX
 output of coqdoc.

---
 doc/stdlib/Library.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/stdlib')

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}
 
-- 
cgit v1.2.3