diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-13 00:04:25 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-14 15:41:56 +0200 |
commit | 14f44c0e23c413314adf23ed1059acc5cd1fef2f (patch) | |
tree | cbd4580127497e576114e6e48e57406c094473d4 /doc/sphinx/replaces.rst | |
parent | f6112493ffe08064db480341e3f2b60bff22e0cf (diff) |
[Sphinx] Add chapter 9.
Chapter ported by Théo Zimmermann and Maxime Dénès.
Diffstat (limited to 'doc/sphinx/replaces.rst')
-rw-r--r-- | doc/sphinx/replaces.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/sphinx/replaces.rst b/doc/sphinx/replaces.rst index 1b2e17221..0fee3754b 100644 --- a/doc/sphinx/replaces.rst +++ b/doc/sphinx/replaces.rst @@ -36,6 +36,7 @@ .. |ident_n,k_n| replace:: `ident`\ :math:`_{n,k_n}` .. |ident_n| replace:: `ident`\ :math:`_{n}` .. |L_tac| replace:: `L`:sub:`tac` +.. |Ltac| replace:: `L`:sub:`tac` .. |ML| replace:: :smallcaps:`ML` .. |mod_0| replace:: `mod`\ :math:`_{0}` .. |mod_1| replace:: `mod`\ :math:`_{1}` |