diff options
| author | Soonho Kong <soonhok@cs.cmu.edu> | 2014-12-09 03:39:44 -0500 |
|---|---|---|
| committer | Soonho Kong <soonhok@cs.cmu.edu> | 2014-12-09 03:39:44 -0500 |
| commit | 1c2cda5b58d4a37b71e5f047cad5fe133463aec0 (patch) | |
| tree | 9893f1560b8af1d93c4e814397499ed488ed4b83 | |
| parent | 9298be28bf6f934658a6facf2263542f7826c2ba (diff) | |
| download | pygments-1c2cda5b58d4a37b71e5f047cad5fe133463aec0.tar.gz | |
Add a missing operator '`' 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 fdd4fd81..b8b08b53 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -416,7 +416,7 @@ class LeanLexer(RegexLexer): ) operators = ( - '!=', '#', '&', '&&', '*', '+', '-', '/', '@', '!', + '!=', '#', '&', '&&', '*', '+', '-', '/', '@', '!', '`', '-.', '->', '.', '..', '...', '::', ':>', ';', ';;', '<', '<-', '=', '==', '>', '_', '`', '|', '||', '~', '=>', '<=', '>=', '/\\', '\\/', u'∀', u'Π', u'λ', u'↔', u'∧', u'∨', u'≠', u'≤', u'≥', |