From 5ece9623e54ce2a87440c889364c3d1ad5eb52c5 Mon Sep 17 00:00:00 2001
From: Abhishek Anand (optiplex7010@home)
Date: Mon, 24 Feb 2020 10:21:22 -0800
Subject: added sphinx doc

---
 doc/sphinx/user-extensions/syntax-extensions.rst | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'doc/sphinx/user-extensions')

diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst
index 7c628e534b..22754e57d4 100644
--- a/doc/sphinx/user-extensions/syntax-extensions.rst
+++ b/doc/sphinx/user-extensions/syntax-extensions.rst
@@ -396,6 +396,11 @@ Displaying information about notations
    Controls whether to use notations for printing terms wherever possible.
    Default is on.
 
+.. flag:: Printing Parentheses
+
+   If on, parentheses are printed even if implied by associativity and precedence
+   Default is off.
+
 .. seealso::
 
    :flag:`Printing All`
-- 
cgit v1.2.3