diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2020-01-07 21:10:52 +0100 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2020-01-07 21:10:52 +0100 |
| commit | c7751058ec70e380fa57b7a8db102c1a8a37c25c (patch) | |
| tree | e1097d74aedbe4aef48f9fdcab0c3b74ce48ae9f /pygments/lexers/theorem.py | |
| parent | d55d8be8da86fb5a273263375fab90993ddb7e9e (diff) | |
| parent | 4f8b0b66ebb7ea5695441d5a97ac836b75e97e7a (diff) | |
| download | pygments-git-c7751058ec70e380fa57b7a8db102c1a8a37c25c.tar.gz | |
Merge branch 'master' into 671/upsuper/webidl
This allows us to resolve the merge conflict properly.
Diffstat (limited to 'pygments/lexers/theorem.py')
| -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 a26a173f..c63266dd 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -418,7 +418,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'×', u'⌞', - u'⌟', u'≡', u'⟨', u'⟩', + u'⌟', u'≡', u'⟨', u'⟩', u'^', ) punctuation = (u'(', u')', u':', u'{', u'}', u'[', u']', u'⦃', u'⦄', |