fix(#2866): tau to alpha

objectionary · Feb 12, 2024 · d0f7d6f · d0f7d6f
1 parent cd072ce
commit d0f7d6f
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4 b/eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4
@@ -26,13 +26,13 @@ bindings
     ;
 
 binding
-    : tauBinding
+    : alphaBinding
     | emptyBinding
     | deltaBidning
     | lambdaBidning
     ;
 
-tauBinding
+alphaBinding
     : attribute ARROW object
     ;
 
@@ -42,11 +42,11 @@ attribute
     | SIGMA
     | VTX
     | LABEL
-    | tauAttr
+    | alphaAttr
     ;
 
-tauAttr
-    : TAU INDEX
+alphaAttr
+    : ALPHA INDEX
     ;
 
 emptyBinding
@@ -118,8 +118,8 @@ ARROW
 DASHED_ARROW
     : '⤍'
     ;
-TAU
-    : 'τ'
+ALPHA
+    : 'α'
     ;
 EMPTY
     : '∅'