From 70792b9f134c089cc0de065b63324c6c5b8b9281 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Tue, 10 Dec 2024 21:41:55 -0800
Subject: [PATCH] infix operators

---
 queries/perga/highlights.scm | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm
index 0fc6311..8f7d4bb 100644
--- a/queries/perga/highlights.scm
+++ b/queries/perga/highlights.scm
@@ -1,10 +1,12 @@
-[ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" ] @keyword
+[ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" "variable" "hypothesis" "section" "infixl" "infixr" ] @keyword
 
 (preprocess
   (command) @keyword
   (post_command) @string)
 
-[ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter
+[ "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter
+
+(symbol) @operator
 
 [(star) (square)] @constant.builtin