Lean: add "^" operator

Fixes #1163
pygments · Dec 1, 2019 · 411a7b4 · 411a7b4
1 parent 4cd83f9
commit 411a7b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'⦄',