diff options
| author | Gaëtan Gilbert | 2019-10-16 10:57:29 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-16 10:57:47 +0200 |
| commit | fcd8a670b4e56e69e67315d9bf40130cff68312b (patch) | |
| tree | 78ec53e73c5efae2582fc4d2ce4bb146e35c8d02 /doc | |
| parent | e80696587ce85572416fd7083387b644ac88fa2a (diff) | |
Define sphinx replacements for \SProp \Type etc
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/refman-preamble.rst | 4 |
1 files changed, 4 insertions, 0 deletions
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}` |