From 74f857ee4fefb936e2a925b723613316f44a4d08 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Wed, 20 Nov 2024 23:40:22 -0800
Subject: [PATCH] whoops

---
 queries/perga/highlights.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm
index a9f1d56..ad6b321 100644
--- a/queries/perga/highlights.scm
+++ b/queries/perga/highlights.scm
@@ -1,4 +1,6 @@
-[ "fun" "λ" "forall" "∏" "axiom" ] @keyword
+[ "fun" "λ" "forall" "∏" ] @keyword
+(axiom) @keyword
+
 [ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter
 
 [(star) (square)] @constant.builtin