summaryrefslogtreecommitdiff
path: root/support/check-parens/check-parens.conf
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/check-parens/check-parens.conf
Initial commit
Diffstat (limited to 'support/check-parens/check-parens.conf')
-rw-r--r--support/check-parens/check-parens.conf44
1 files changed, 44 insertions, 0 deletions
diff --git a/support/check-parens/check-parens.conf b/support/check-parens/check-parens.conf
new file mode 100644
index 0000000000..21d946b8ee
--- /dev/null
+++ b/support/check-parens/check-parens.conf
@@ -0,0 +1,44 @@
+# This is the default configuration file for 'check-parens'.
+#
+# Lines beginning with '#' are comments and ignored.
+# The following configuration commands are recognized:
+#
+# paren = <left> <right> [soft]
+#
+# declares a parentheses pair; the optional keyword "soft" indicates
+# that a matching failure will generate a warning only.
+#
+# delimsize = <size> [<size_alt> ...]
+#
+# declares a delimiter size modifier such as "\left" and "\big",
+# optionally followed by a list of alternative equivalents, e.g.
+# "\bigr" for "\big".
+#
+# Each command must be specified on a single line and tokens must be
+# separated by whitespace. Content tokens must either be single
+# characters or be valid Tex tokens starting with a backslash.
+# Note that obsolete double $$'s for displayed math are not supported.
+#
+# Note that the following are detected automatically:
+# - \begin{env} \end{env} pairs
+# - \verb and verbatim environments (their contents is ignored)
+
+paren = { }
+paren = ( ) soft
+paren = [ ] soft
+paren = \{ \} soft
+paren = \( \)
+paren = \[ \]
+paren = $ $
+paren = \langle \rangle soft
+paren = \lceil \rceil soft
+paren = \lfloor \rfloor soft
+paren = \lgroup \rgroup soft
+paren = \lvert \rvert soft
+paren = \lVert \rVert soft
+
+delimsize = \big \bigl \bigr
+delimsize = \Big \Bigl \Bigr
+delimsize = \bigg \biggl \biggr
+delimsize = \Bigg \Biggl \Biggr
+delimsize = \left \right