diff --git a/tests/positive/Literals.mjuvix b/tests/positive/Literals.mjuvix
index c772a75c6..c9e3a5421 100644
--- a/tests/positive/Literals.mjuvix
+++ b/tests/positive/Literals.mjuvix
@@ -1,12 +1,20 @@
 module Literals;
   axiom Int : Type;
   axiom String : Type;
+  axiom + : Int → Int → Int;
   a : Int;
   a := 12313;
 
   b : Int;
   b := -008;
 
+  - : Int;
+  - := 010;
+
+  -+-- : Int;
+  -+-- := - + -+--;
+
+
   c : String;
   c := "hellooooo";
 end;
\ No newline at end of file