diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /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.conf | 44 |
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 |