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