diff options
| author | Georg Brandl <georg@python.org> | 2015-03-08 07:37:21 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2015-03-08 07:37:21 +0100 |
| commit | 8439002bd22d9c5583e57aad11c9575013bb1cb1 (patch) | |
| tree | 38e986b5ef8b002efb64273225f5a3b2688c37c6 | |
| parent | 17ca6e7595c5ee0b89e44c6430a8ca139a34b71f (diff) | |
| parent | fd1fba25231ee37cb92ec1597ef910062c1d2c01 (diff) | |
| download | pygments-8439002bd22d9c5583e57aad11c9575013bb1cb1.tar.gz | |
Merged in soonhok/pygments-main (pull request #444)
Add two missing operators '?' and '?' for Lean theorem prover
| -rw-r--r-- | pygments/lexers/theorem.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index 9898b05d..47fdc8b6 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -414,7 +414,8 @@ class LeanLexer(RegexLexer): '-.', '->', '.', '..', '...', '::', ':>', ';', ';;', '<', '<-', '=', '==', '>', '_', '`', '|', '||', '~', '=>', '<=', '>=', '/\\', '\\/', u'∀', u'Π', u'λ', u'↔', u'∧', u'∨', u'≠', u'≤', u'≥', - u'¬', u'⁻¹', u'⬝', u'▸', u'→', u'∃', u'ℕ', u'ℤ', u'≈', u'×', u'⌞', u'⌟', u'≡' + u'¬', u'⁻¹', u'⬝', u'▸', u'→', u'∃', u'ℕ', u'ℤ', u'≈', u'×', u'⌞', u'⌟', u'≡', + u'⟨', u'⟩' ) punctuation = ('(', ')', ':', '{', '}', '[', ']', u'⦃', u'⦄', ':=', ',') |