From fcd8a670b4e56e69e67315d9bf40130cff68312b Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 16 Oct 2019 10:57:29 +0200
Subject: Define sphinx replacements for \SProp \Type etc

---
 doc/sphinx/refman-preamble.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/sphinx/refman-preamble.rst b/doc/sphinx/refman-preamble.rst
index c662028773..de95eda989 100644
--- a/doc/sphinx/refman-preamble.rst
+++ b/doc/sphinx/refman-preamble.rst
@@ -70,7 +70,11 @@
 .. |p_i| replace:: `p`\ :math:`_{i}`
 .. |p_n| replace:: `p`\ :math:`_{n}`
 .. |Program| replace:: :strong:`Program`
+.. |Prop| replace:: :math:`\Prop`
+.. |SProp| replace:: :math:`\SProp`
+.. |Set| replace:: :math:`\Set`
 .. |SSR| replace:: :smallcaps:`SSReflect`
+.. |Type| replace:: :math:`\Type`
 .. |t_1| replace:: `t`\ :math:`_{1}`
 .. |t_i| replace:: `t`\ :math:`_{i}`
 .. |t_m| replace:: `t`\ :math:`_{m}`
-- 
cgit v1.2.3