From 411a7b47413e5a1658ff1f5d1aa2f55ff3443f22 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 1 Dec 2019 21:41:54 +0100 Subject: [PATCH] Lean: add "^" operator Fixes #1163 --- pygments/lexers/theorem.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index a26a173f95..c63266dd37 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'⦄',