From cf1166a27d3721bf3bee606afc0359f39b977929 Mon Sep 17 00:00:00 2001 From: chuanzhu xu Date: Fri, 31 May 2019 23:13:34 -0400 Subject: [PATCH] Remove extra \iint in math_symbol_table --- doc/sphinxext/math_symbol_table.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/sphinxext/math_symbol_table.py b/doc/sphinxext/math_symbol_table.py index a41b015ef2dc..e0e9bdb06cbb 100644 --- a/doc/sphinxext/math_symbol_table.py +++ b/doc/sphinxext/math_symbol_table.py @@ -93,7 +93,7 @@ \hslash \vdots \blacksquare \ldots \blacktriangle \ddots \sharp \prime \blacktriangledown \Im \flat \backprime \Re \natural \circledS \P \copyright \ss \circledR \S \yen \AA \checkmark \$ - \iiint \iint \iint \oiiint"""] + \iiint \iint \oiiint"""] ] def run(state_machine):