diff options
| author | Soonho Kong <soonhok@cs.cmu.edu> | 2015-01-15 16:37:45 +0900 |
|---|---|---|
| committer | Soonho Kong <soonhok@cs.cmu.edu> | 2015-01-15 16:37:45 +0900 |
| commit | 41e23d60dc516a22966325f97b7b00b448bd55a7 (patch) | |
| tree | f18e162634f534c7e96b8d6ae5e516fff0fc6e8b | |
| parent | 1c2cda5b58d4a37b71e5f047cad5fe133463aec0 (diff) | |
| download | pygments-41e23d60dc516a22966325f97b7b00b448bd55a7.tar.gz | |
Add three missing operators '?', '?', '?' for Lean theorem prover
| -rw-r--r-- | pygments/lexers/theorem.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index b8b08b53..addf4186 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -420,7 +420,7 @@ 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'≡' ) word_operators = ('and', 'or', 'not', 'iff', 'eq') |