diff options
| author | Soonho Kong <soonhok@cs.cmu.edu> | 2014-11-24 22:11:50 -0500 |
|---|---|---|
| committer | Soonho Kong <soonhok@cs.cmu.edu> | 2014-11-24 22:11:50 -0500 |
| commit | 9298be28bf6f934658a6facf2263542f7826c2ba (patch) | |
| tree | dd0c66ac03cc4628c967165538815bb7ebbb16ee | |
| parent | 55100eea85e7f55d07cc4b53ce94954711ef2182 (diff) | |
| download | pygments-9298be28bf6f934658a6facf2263542f7826c2ba.tar.gz | |
Add two missing operators '?' and '!' for Lean theorem prover
| -rw-r--r-- | pygments/lexers/theorem.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index 585c6df9..fdd4fd81 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -416,11 +416,11 @@ class LeanLexer(RegexLexer): ) operators = ( - '!=', '#', '&', '&&', '*', '+', '-', '/', '@', + '!=', '#', '&', '&&', '*', '+', '-', '/', '@', '!', '-.', '->', '.', '..', '...', '::', ':>', ';', ';;', '<', '<-', '=', '==', '>', '_', '`', '|', '||', '~', '=>', '<=', '>=', '/\\', '\\/', 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') |