diff options
| author | Soonho Kong <soonhok@cs.cmu.edu> | 2015-02-04 14:03:35 -0500 |
|---|---|---|
| committer | Soonho Kong <soonhok@cs.cmu.edu> | 2015-02-04 14:03:35 -0500 |
| commit | fd1fba25231ee37cb92ec1597ef910062c1d2c01 (patch) | |
| tree | 12844a85162c6e466de59f23d4f9509bed0808a0 | |
| parent | fe72d20b50c75089fa1262b9f03fcb29c9e49282 (diff) | |
| download | pygments-fd1fba25231ee37cb92ec1597ef910062c1d2c01.tar.gz | |
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'⦄', ':=', ',') |