From edfa9d31c8daa2ea6d98dc330f3164139c60e0f9 Mon Sep 17 00:00:00 2001
From: maxonfjvipon <mtrunnikov@gmail.com>
Date: Wed, 19 Feb 2025 15:30:51 +0300
Subject: [PATCH] bug(#3674): alpha

---
 .../org/eolang/maven/shake/set-locators.xsl   |   9 +-
 .../org/eolang/maven/transpile/attrs.xsl      |   5 +-
 .../org/eolang/maven/transpile/to-java.xsl    |  31 ++--
 .../java/org/eolang/parser/DrProgram.java     |   4 +-
 .../java/org/eolang/parser/XeEoListener.java  |   2 +-
 .../resources/org/eolang/parser/_funcs.xsl    |   3 +-
 .../resources/org/eolang/parser/_specials.xsl |  51 ++++++
 .../org/eolang/parser/parse/build-fqns.xsl    |   2 +-
 .../org/eolang/parser/phi/to-phi.xsl          | 153 ++++++------------
 .../org/eolang/parser/phi/to-salty-phi.xsl    | 122 +++++---------
 .../java/org/eolang/parser/PhiSyntaxTest.java |   3 +
 .../parser/eo-syntax/auto-named-abstract.yaml |   6 +-
 .../eolang/parser/phi-packs/auto-named.yaml   |   8 +-
 13 files changed, 176 insertions(+), 223 deletions(-)
 create mode 100644 eo-parser/src/main/resources/org/eolang/parser/_specials.xsl

diff --git a/eo-maven-plugin/src/main/resources/org/eolang/maven/shake/set-locators.xsl b/eo-maven-plugin/src/main/resources/org/eolang/maven/shake/set-locators.xsl
index 3d5f158c70..d2f5a08b59 100644
--- a/eo-maven-plugin/src/main/resources/org/eolang/maven/shake/set-locators.xsl
+++ b/eo-maven-plugin/src/main/resources/org/eolang/maven/shake/set-locators.xsl
@@ -29,6 +29,7 @@ SOFTWARE.
   of the object.
   -->
   <xsl:output encoding="UTF-8" method="xml"/>
+  <xsl:import href="/org/eolang/parser/_specials.xsl"/>
   <xsl:function name="eo:locator" as="xs:string">
     <xsl:param name="program" as="node()"/>
     <xsl:param name="o" as="node()"/>
@@ -43,7 +44,7 @@ SOFTWARE.
           <xsl:value-of select="eo:locator($program, $o/parent::o)"/>
         </xsl:when>
         <xsl:otherwise>
-          <xsl:text>Φ</xsl:text>
+          <xsl:value-of select="$eo:program"/>
           <xsl:if test="$program/metas/meta[head='package']">
             <xsl:text>.</xsl:text>
             <xsl:value-of select="$program/metas/meta[head='package']/tail"/>
@@ -55,7 +56,7 @@ SOFTWARE.
         <xsl:when test="$o/@name">
           <xsl:choose>
             <xsl:when test="$o/@name = '@'">
-              <xsl:text>φ</xsl:text>
+              <xsl:value-of select="$eo:phi"/>
             </xsl:when>
             <xsl:otherwise>
               <xsl:value-of select="$o/@name"/>
@@ -65,10 +66,10 @@ SOFTWARE.
         <xsl:otherwise>
           <xsl:choose>
             <xsl:when test="starts-with($o/parent::o/@base, '.') and not($o/preceding-sibling::o)">
-              <xsl:text>ρ</xsl:text>
+              <xsl:value-of select="$eo:rho"/>
             </xsl:when>
             <xsl:otherwise>
-              <xsl:text>α</xsl:text>
+              <xsl:value-of select="$eo:alpha"/>
               <xsl:value-of select="count($o/preceding-sibling::o) - count($o/parent::o[starts-with(@base, '.')])"/>
             </xsl:otherwise>
           </xsl:choose>
diff --git a/eo-maven-plugin/src/main/resources/org/eolang/maven/transpile/attrs.xsl b/eo-maven-plugin/src/main/resources/org/eolang/maven/transpile/attrs.xsl
index e461cce509..e42e7a3d4b 100644
--- a/eo-maven-plugin/src/main/resources/org/eolang/maven/transpile/attrs.xsl
+++ b/eo-maven-plugin/src/main/resources/org/eolang/maven/transpile/attrs.xsl
@@ -24,6 +24,7 @@ SOFTWARE.
 -->
 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" id="attrs" version="2.0">
   <xsl:output encoding="UTF-8" method="xml"/>
+  <xsl:import href="/org/eolang/parser/_specials.xsl"/>
   <xsl:template match="class[not(@base)]/o[@name]">
     <xsl:apply-templates select="." mode="with-attributes"/>
   </xsl:template>
@@ -38,10 +39,10 @@ SOFTWARE.
       <xsl:apply-templates select="@name"/>
       <xsl:variable name="type">
         <xsl:choose>
-          <xsl:when test="@base and @base!='∅'">
+          <xsl:when test="@base and @base!=$eo:empty">
             <xsl:text>bound</xsl:text>
           </xsl:when>
-          <xsl:when test="@base and @base='∅'">
+          <xsl:when test="@base and @base=$eo:empty">
             <xsl:text>void</xsl:text>
           </xsl:when>
           <xsl:when test="@atom">
diff --git a/eo-maven-plugin/src/main/resources/org/eolang/maven/transpile/to-java.xsl b/eo-maven-plugin/src/main/resources/org/eolang/maven/transpile/to-java.xsl
index bdbaac29db..1cf6f1e87f 100644
--- a/eo-maven-plugin/src/main/resources/org/eolang/maven/transpile/to-java.xsl
+++ b/eo-maven-plugin/src/main/resources/org/eolang/maven/transpile/to-java.xsl
@@ -24,39 +24,32 @@ SOFTWARE.
 -->
 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:eo="https://www.eolang.org" xmlns:xs="http://www.w3.org/2001/XMLSchema" id="to-java" version="2.0">
   <xsl:import href="/org/eolang/parser/_datas.xsl"/>
+  <xsl:import href="/org/eolang/parser/_specials.xsl"/>
   <xsl:param name="disclaimer" select="'This file was auto-generated by eo-maven-plugin, your changes will be discarded on the next build'"/>
   <xsl:output encoding="UTF-8" method="xml"/>
   <!-- VARIABLES -->
   <xsl:variable name="TAB">
-    <xsl:text>  </xsl:text>
-  </xsl:variable>
-  <xsl:variable name="RHO">
-    <xsl:text>ρ</xsl:text>
-  </xsl:variable>
-  <xsl:variable name="PHI">
-    <xsl:text>φ</xsl:text>
-  </xsl:variable>
-  <xsl:variable name="ALPHA">
-    <xsl:text>α</xsl:text>
+    <xsl:value-of select="$eo:space"/>
+    <xsl:value-of select="$eo:space"/>
   </xsl:variable>
   <!-- FUNCTIONS -->
   <!-- EOL -->
   <xsl:function name="eo:eol">
     <xsl:param name="tabs"/>
-    <xsl:value-of select="'&#10;'"/>
+    <xsl:value-of select="$eo:new-line"/>
     <xsl:value-of select="eo:tabs($tabs)"/>
   </xsl:function>
   <!-- TABS -->
   <xsl:function name="eo:tabs">
     <xsl:param name="n"/>
     <xsl:for-each select="1 to $n">
-      <xsl:text>  </xsl:text>
+      <xsl:value-of select="$TAB"/>
     </xsl:for-each>
   </xsl:function>
   <!-- Get clean escaped object name  -->
   <xsl:function name="eo:clean" as="xs:string">
     <xsl:param name="n" as="xs:string"/>
-    <xsl:value-of select="concat('EO', replace(replace(replace(replace(replace($n, '_', '__'), '-', '_'), '@', $PHI), 'α', '_'), '\$', '\$EO'))"/>
+    <xsl:value-of select="concat('EO', replace(replace(replace(replace(replace($n, '_', '__'), '-', '_'), '@', $eo:phi), $eo:alpha, '_'), '\$', '\$EO'))"/>
   </xsl:function>
   <!-- Get object name with suffix -->
   <xsl:function name="eo:suffix" as="xs:string">
@@ -102,7 +95,7 @@ SOFTWARE.
     <xsl:param name="n" as="xs:string"/>
     <xsl:choose>
       <xsl:when test="$n='@'">
-        <xsl:value-of select="$PHI"/>
+        <xsl:value-of select="$eo:phi"/>
       </xsl:when>
       <xsl:otherwise>
         <xsl:value-of select="$n"/>
@@ -158,7 +151,7 @@ SOFTWARE.
       <xsl:when test="$mtd='^'">
         <xsl:value-of select="$base"/>
         <xsl:text>.take("</xsl:text>
-        <xsl:value-of select="$RHO"/>
+        <xsl:value-of select="$eo:rho"/>
         <xsl:text>");</xsl:text>
       </xsl:when>
       <xsl:otherwise>
@@ -501,7 +494,7 @@ SOFTWARE.
     <xsl:text>();</xsl:text>
   </xsl:template>
   <!-- Attribute body: regular object, not method -->
-  <xsl:template match="o[@base and @base!='∅' and not(starts-with(@base, '.'))]">
+  <xsl:template match="o[@base and @base!='' and not(starts-with(@base, '.'))]">
     <xsl:param name="indent"/>
     <xsl:param name="name"/>
     <xsl:param name="rho"/>
@@ -558,7 +551,7 @@ SOFTWARE.
     <xsl:param name="name"/>
     <xsl:param name="rho"/>
     <xsl:variable name="method" select="substring-after(@base, '.')"/>
-    <xsl:if test="starts-with(@base, concat('.', $ALPHA))">
+    <xsl:if test="starts-with(@base, concat('.', $eo:alpha))">
       <xsl:message terminate="yes">
         <xsl:text>Dispatching alpha attributes is not supported in EO yet, found: </xsl:text>
         <xsl:value-of select="@base"/>
@@ -647,8 +640,8 @@ SOFTWARE.
       <xsl:choose>
         <xsl:when test="@as">
           <xsl:choose>
-            <xsl:when test="starts-with(@as, $ALPHA)">
-              <xsl:value-of select="eo:attr-name(substring-after(@as, $ALPHA))"/>
+            <xsl:when test="starts-with(@as, $eo:alpha)">
+              <xsl:value-of select="eo:attr-name(substring-after(@as, $eo:alpha))"/>
             </xsl:when>
             <xsl:otherwise>
               <xsl:text>"</xsl:text>
diff --git a/eo-parser/src/main/java/org/eolang/parser/DrProgram.java b/eo-parser/src/main/java/org/eolang/parser/DrProgram.java
index c277e59243..379a5eb22f 100644
--- a/eo-parser/src/main/java/org/eolang/parser/DrProgram.java
+++ b/eo-parser/src/main/java/org/eolang/parser/DrProgram.java
@@ -38,7 +38,7 @@
  *
  * @since 0.44.0
  */
-public final class DrProgram implements Iterable<Directive> {
+final class DrProgram implements Iterable<Directive> {
 
     /**
      * Name of the program.
@@ -49,7 +49,7 @@ public final class DrProgram implements Iterable<Directive> {
      * Ctor.
      * @param nme Name of the program
      */
-    public DrProgram(final String nme) {
+    DrProgram(final String nme) {
         this.name = nme;
     }
 
diff --git a/eo-parser/src/main/java/org/eolang/parser/XeEoListener.java b/eo-parser/src/main/java/org/eolang/parser/XeEoListener.java
index 77639d110a..a56b8ec1c5 100644
--- a/eo-parser/src/main/java/org/eolang/parser/XeEoListener.java
+++ b/eo-parser/src/main/java/org/eolang/parser/XeEoListener.java
@@ -1032,7 +1032,7 @@ public void enterAname(final EoParser.AnameContext ctx) {
             .prop(
                 "name",
                 String.format(
-                    "auto-named-attr-at-%d-%d",
+                    "α%d%d",
                     ctx.getStart().getLine(),
                     ctx.getStart().getCharPositionInLine()
                 )
diff --git a/eo-parser/src/main/resources/org/eolang/parser/_funcs.xsl b/eo-parser/src/main/resources/org/eolang/parser/_funcs.xsl
index 0e75d8a4bc..86aec4c8e7 100644
--- a/eo-parser/src/main/resources/org/eolang/parser/_funcs.xsl
+++ b/eo-parser/src/main/resources/org/eolang/parser/_funcs.xsl
@@ -23,6 +23,7 @@ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 SOFTWARE.
 -->
 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:math="http://www.w3.org/2005/xpath-functions/math" xmlns:eo="https://www.eolang.org" xmlns:xs="http://www.w3.org/2001/XMLSchema" id="_funcs" version="2.0">
+  <xsl:import href="/org/eolang/parser/_specials.xsl"/>
   <xsl:function name="eo:has-data" as="xs:boolean">
     <xsl:param name="o" as="element()"/>
     <xsl:sequence select="normalize-space(string-join($o/text(), '')) != ''"/>
@@ -33,7 +34,7 @@ SOFTWARE.
   </xsl:function>
   <xsl:function name="eo:void" as="xs:boolean">
     <xsl:param name="o" as="element()"/>
-    <xsl:sequence select="$o/@base='∅'"/>
+    <xsl:sequence select="$o/@base=$eo:empty"/>
   </xsl:function>
   <!-- BYTES TO STRING -->
   <xsl:function name="eo:bytes-to-string" as="xs:string">
diff --git a/eo-parser/src/main/resources/org/eolang/parser/_specials.xsl b/eo-parser/src/main/resources/org/eolang/parser/_specials.xsl
new file mode 100644
index 0000000000..94d210daef
--- /dev/null
+++ b/eo-parser/src/main/resources/org/eolang/parser/_specials.xsl
@@ -0,0 +1,51 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+The MIT License (MIT)
+
+Copyright (c) 2016-2025 Objectionary.com
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included
+in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
+-->
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:eo="https://www.eolang.org" id="_specials" version="2.0">
+  <xsl:variable name="eo:alpha" select="'α'"/>
+  <xsl:variable name="eo:xi" select="'ξ'"/>
+  <xsl:variable name="eo:delta" select="'Δ'"/>
+  <xsl:variable name="eo:phi" select="'φ'"/>
+  <xsl:variable name="eo:rho" select="'ρ'"/>
+  <xsl:variable name="eo:program" select="'Φ'"/>
+  <xsl:variable name="eo:def-package" select="'Φ̇'"/>
+  <xsl:variable name="eo:lambda" select="'λ'"/>
+  <xsl:variable name="eo:arrow">
+    <xsl:value-of select="$eo:space"/>
+    <xsl:text>↦</xsl:text>
+    <xsl:value-of select="$eo:space"/>
+  </xsl:variable>
+  <xsl:variable name="eo:dashed-arrow">
+    <xsl:value-of select="$eo:space"/>
+    <xsl:text>⤍</xsl:text>
+    <xsl:value-of select="$eo:space"/>
+  </xsl:variable>
+  <xsl:variable name="eo:lb" select="'⟦'"/>
+  <xsl:variable name="eo:rb" select="'⟧'"/>
+  <xsl:variable name="eo:clb" select="'('"/>
+  <xsl:variable name="eo:crb" select="')'"/>
+  <xsl:variable name="eo:empty" select="'∅'"/>
+  <xsl:variable name="eo:space" select="' '"/>
+  <xsl:variable name="eo:new-line" select="'&#10;'"/>
+</xsl:stylesheet>
diff --git a/eo-parser/src/main/resources/org/eolang/parser/parse/build-fqns.xsl b/eo-parser/src/main/resources/org/eolang/parser/parse/build-fqns.xsl
index 9f4f33cccc..2d8f6acb56 100644
--- a/eo-parser/src/main/resources/org/eolang/parser/parse/build-fqns.xsl
+++ b/eo-parser/src/main/resources/org/eolang/parser/parse/build-fqns.xsl
@@ -230,7 +230,7 @@ SOFTWARE.
       </xsl:element>
     </xsl:element>
   </xsl:template>
-  <xsl:template match="o[@base!='$' and @base!='^' and @base!='∅']" mode="no-dots">
+  <xsl:template match="o[@base!='$' and @base!='^' and @base!=$eo:empty]" mode="no-dots">
     <xsl:variable name="base" select="./@base"/>
     <xsl:choose>
       <!-- Closes object in the same scope -->
diff --git a/eo-parser/src/main/resources/org/eolang/parser/phi/to-phi.xsl b/eo-parser/src/main/resources/org/eolang/parser/phi/to-phi.xsl
index c20cb4b6e1..fdad851373 100644
--- a/eo-parser/src/main/resources/org/eolang/parser/phi/to-phi.xsl
+++ b/eo-parser/src/main/resources/org/eolang/parser/phi/to-phi.xsl
@@ -29,97 +29,42 @@ SOFTWARE.
   <!-- Variables -->
   <xsl:variable name="aliases" select="program/metas/meta/part[last()]"/>
   <xsl:variable name="number-pattern" select="'^[0-9]+$'"/>
-  <xsl:variable name="xi">
-    <select>ξ</select>
-  </xsl:variable>
-  <xsl:variable name="delta">
-    <select>Δ</select>
-  </xsl:variable>
-  <xsl:variable name="alpha">
-    <select>α</select>
-  </xsl:variable>
-  <xsl:variable name="phi">
-    <select>φ</select>
-  </xsl:variable>
-  <xsl:variable name="rho">
-    <select>ρ</select>
-  </xsl:variable>
-  <xsl:variable name="program">
-    <select>Φ</select>
-  </xsl:variable>
-  <xsl:variable name="def-package">
-    <select>Φ̇</select>
-  </xsl:variable>
-  <xsl:variable name="lambda">
-    <select>λ</select>
-  </xsl:variable>
-  <xsl:variable name="arrow">
-    <xsl:value-of select="$space"/>
-    <select>↦</select>
-    <xsl:value-of select="$space"/>
-  </xsl:variable>
-  <xsl:variable name="dashed-arrow">
-    <xsl:value-of select="$space"/>
-    <select>⤍</select>
-    <xsl:value-of select="$space"/>
-  </xsl:variable>
-  <xsl:variable name="lb">
-    <select>⟦</select>
-  </xsl:variable>
-  <xsl:variable name="rb">
-    <select>⟧</select>
-  </xsl:variable>
-  <xsl:variable name="clb">
-    <select>(</select>
-  </xsl:variable>
-  <xsl:variable name="crb">
-    <select>)</select>
-  </xsl:variable>
-  <xsl:variable name="empty">
-    <select>∅</select>
-  </xsl:variable>
-  <xsl:variable name="space">
-    <xsl:text> </xsl:text>
-  </xsl:variable>
-  <xsl:variable name="new-line">
-    <xsl:value-of select="'&#10;'"/>
-  </xsl:variable>
   <!-- Functions -->
   <!-- Get clean escaped object name  -->
   <xsl:function name="eo:lambda-name">
     <xsl:param name="name"/>
-    <xsl:value-of select="concat('L', replace(replace(replace(substring($name, 3), '\.', '_'), '-', '_'), '@', 'φ'))"/>
+    <xsl:value-of select="concat('L', replace(replace(replace(substring($name, 3), '\.', '_'), '-', '_'), '@', $eo:phi))"/>
   </xsl:function>
   <!-- SPECIAL CHARACTERS -->
   <xsl:function name="eo:specials">
     <xsl:param name="n"/>
     <xsl:choose>
       <xsl:when test="$n='@'">
-        <xsl:value-of select="$phi"/>
+        <xsl:value-of select="$eo:phi"/>
       </xsl:when>
       <xsl:when test="$n='.@'">
         <xsl:text>.</xsl:text>
-        <xsl:value-of select="$phi"/>
+        <xsl:value-of select="$eo:phi"/>
       </xsl:when>
       <xsl:when test="$n='^'">
-        <xsl:value-of select="$rho"/>
+        <xsl:value-of select="$eo:rho"/>
       </xsl:when>
       <xsl:when test="$n='.^'">
         <xsl:text>.</xsl:text>
-        <xsl:value-of select="$rho"/>
+        <xsl:value-of select="$eo:rho"/>
       </xsl:when>
       <xsl:when test="$n='$'">
-        <xsl:value-of select="$xi"/>
+        <xsl:value-of select="$eo:xi"/>
       </xsl:when>
       <xsl:when test="$n='Q'">
-        <xsl:value-of select="$program"/>
+        <xsl:value-of select="$eo:program"/>
       </xsl:when>
       <xsl:when test="starts-with($n, 'Q.org.eolang')">
-        <xsl:value-of select="$def-package"/>
+        <xsl:value-of select="$eo:def-package"/>
         <xsl:value-of select="substring-after($n, 'Q.org.eolang')"/>
       </xsl:when>
       <xsl:when test="$aliases[text()=$n]">
-        <xsl:value-of select="$program"/>
+        <xsl:value-of select="$eo:program"/>
         <xsl:text>.</xsl:text>
         <xsl:choose>
           <xsl:when test="starts-with($n, 'Q.')">
@@ -157,7 +102,7 @@ SOFTWARE.
   <!-- EOL WITH INDENTATION -->
   <xsl:function name="eo:eol">
     <xsl:param name="tabs"/>
-    <xsl:value-of select="$new-line"/>
+    <xsl:value-of select="$eo:new-line"/>
     <xsl:for-each select="1 to $tabs">
       <xsl:text>  </xsl:text>
     </xsl:for-each>
@@ -166,7 +111,7 @@ SOFTWARE.
   <xsl:function name="eo:can-inline" as="xs:boolean">
     <xsl:param name="str"/>
     <xsl:param name="extra"/>
-    <xsl:sequence select="not(contains($str, $new-line)) and string-length($str) + $extra &lt; 80"/>
+    <xsl:sequence select="not(contains($str, $eo:new-line)) and string-length($str) + $extra &lt; 80"/>
   </xsl:function>
   <!-- PRINT ARGUMENTS OF APPLICATION -->
   <xsl:function name="eo:print-args">
@@ -188,7 +133,7 @@ SOFTWARE.
         <xsl:for-each select="$elements">
           <xsl:if test="position()&gt;1">
             <xsl:value-of select="eo:comma(position(), -1)"/>
-            <xsl:value-of select="$space"/>
+            <xsl:value-of select="$eo:space"/>
           </xsl:if>
           <xsl:value-of select="."/>
         </xsl:for-each>
@@ -213,8 +158,8 @@ SOFTWARE.
     <xsl:choose>
       <xsl:when test="$object/@as">
         <xsl:choose>
-          <xsl:when test="starts-with($object/@as, $alpha)">
-            <xsl:value-of select="number(substring-after($object/@as, $alpha))"/>
+          <xsl:when test="starts-with($object/@as, $eo:alpha)">
+            <xsl:value-of select="number(substring-after($object/@as, $eo:alpha))"/>
           </xsl:when>
           <xsl:otherwise>
             <xsl:value-of select="$object/@as"/>
@@ -252,7 +197,7 @@ SOFTWARE.
       <xsl:copy-of select="./objects"/>
       <phi>
         <xsl:text>{</xsl:text>
-        <xsl:value-of select="$lb"/>
+        <xsl:value-of select="$eo:lb"/>
         <xsl:variable name="tabs" select="1"/>
         <xsl:value-of select="eo:eol(1)"/>
         <xsl:variable name="has-package" select="metas/meta/head[text()='package']"/>
@@ -264,39 +209,39 @@ SOFTWARE.
             <xsl:for-each select="$parts">
               <xsl:value-of select="."/>
               <xsl:if test="$conservative">
-                <xsl:value-of select="$clb"/>
-                <xsl:value-of select="$crb"/>
+                <xsl:value-of select="$eo:clb"/>
+                <xsl:value-of select="$eo:crb"/>
               </xsl:if>
-              <xsl:value-of select="$arrow"/>
-              <xsl:value-of select="$lb"/>
+              <xsl:value-of select="$eo:arrow"/>
+              <xsl:value-of select="$eo:lb"/>
               <xsl:value-of select="eo:eol($tabs+position())"/>
             </xsl:for-each>
             <xsl:apply-templates select="objects">
               <xsl:with-param name="tabs" select="$tabs + $length + 1"/>
               <xsl:with-param name="package">
-                <xsl:value-of select="$program"/>
+                <xsl:value-of select="$eo:program"/>
                 <xsl:text>.</xsl:text>
                 <xsl:value-of select="$package"/>
               </xsl:with-param>
             </xsl:apply-templates>
             <xsl:for-each select="$parts">
               <xsl:value-of select="eo:comma(2, $tabs + $length + 2 - position())"/>
-              <xsl:value-of select="$lambda"/>
-              <xsl:value-of select="$dashed-arrow"/>
+              <xsl:value-of select="$eo:lambda"/>
+              <xsl:value-of select="$eo:dashed-arrow"/>
               <xsl:text>Package</xsl:text>
               <xsl:value-of select="eo:eol($tabs + $length + 1 - position())"/>
-              <xsl:value-of select="$rb"/>
+              <xsl:value-of select="$eo:rb"/>
             </xsl:for-each>
           </xsl:when>
           <xsl:otherwise>
             <xsl:apply-templates select="objects">
               <xsl:with-param name="tabs" select="$tabs"/>
-              <xsl:with-param name="package" select="$program"/>
+              <xsl:with-param name="package" select="$eo:program"/>
             </xsl:apply-templates>
           </xsl:otherwise>
         </xsl:choose>
         <xsl:value-of select="eo:eol(0)"/>
-        <xsl:value-of select="$rb"/>
+        <xsl:value-of select="$eo:rb"/>
         <xsl:text>}</xsl:text>
       </phi>
     </program>
@@ -317,20 +262,20 @@ SOFTWARE.
   <!-- Void attribute -->
   <xsl:template match="o[eo:void(.)]">
     <xsl:value-of select="eo:specials(@name)"/>
-    <xsl:value-of select="$arrow"/>
-    <xsl:value-of select="$empty"/>
+    <xsl:value-of select="$eo:arrow"/>
+    <xsl:value-of select="$eo:empty"/>
   </xsl:template>
   <!-- Inline void-attributes -->
   <xsl:template match="o" mode="inline-voids">
-    <xsl:value-of select="$clb"/>
+    <xsl:value-of select="$eo:clb"/>
     <xsl:for-each select="o[eo:void(.)]">
       <xsl:if test="position()&gt;1">
         <xsl:value-of select="eo:comma(position(), -1)"/>
-        <xsl:value-of select="$space"/>
+        <xsl:value-of select="$eo:space"/>
       </xsl:if>
       <xsl:value-of select="eo:specials(@name)"/>
     </xsl:for-each>
-    <xsl:value-of select="$crb"/>
+    <xsl:value-of select="$eo:crb"/>
   </xsl:template>
   <!-- Just object -->
   <xsl:template match="o[@base and not(eo:void(.))]">
@@ -340,7 +285,7 @@ SOFTWARE.
     <xsl:variable name="name">
       <xsl:if test="@name">
         <xsl:value-of select="eo:specials(@name)"/>
-        <xsl:value-of select="$arrow"/>
+        <xsl:value-of select="$eo:arrow"/>
       </xsl:if>
     </xsl:variable>
     <xsl:value-of select="$name"/>
@@ -384,7 +329,7 @@ SOFTWARE.
         <xsl:value-of select="$method"/>
         <xsl:variable name="after-start">
           <xsl:choose>
-            <xsl:when test="contains(string-join(($start, $method), ''), $new-line)">
+            <xsl:when test="contains(string-join(($start, $method), ''), $eo:new-line)">
               <xsl:value-of select="$after-name + string-length($method[last()])"/>
             </xsl:when>
             <xsl:otherwise>
@@ -405,15 +350,15 @@ SOFTWARE.
     </xsl:choose>
     <!-- Data -->
     <xsl:if test="eo:has-data(.) and @base!='Q.org.eolang.number' and @base!='Q.org.eolang.string'">
-      <xsl:value-of select="$clb"/>
-      <xsl:value-of select="$lb"/>
-      <xsl:value-of select="$space"/>
-      <xsl:value-of select="$delta"/>
-      <xsl:value-of select="$dashed-arrow"/>
+      <xsl:value-of select="$eo:clb"/>
+      <xsl:value-of select="$eo:lb"/>
+      <xsl:value-of select="$eo:space"/>
+      <xsl:value-of select="$eo:delta"/>
+      <xsl:value-of select="$eo:dashed-arrow"/>
       <xsl:value-of select="text()[last()]"/>
-      <xsl:value-of select="$space"/>
-      <xsl:value-of select="$rb"/>
-      <xsl:value-of select="$crb"/>
+      <xsl:value-of select="$eo:space"/>
+      <xsl:value-of select="$eo:rb"/>
+      <xsl:value-of select="$eo:crb"/>
     </xsl:if>
   </xsl:template>
   <!-- Nested applied objects -->
@@ -438,7 +383,7 @@ SOFTWARE.
         </xsl:otherwise>
       </xsl:choose>
     </xsl:variable>
-    <xsl:value-of select="$clb"/>
+    <xsl:value-of select="$eo:clb"/>
     <xsl:choose>
       <xsl:when test="not(eo:can-inline($applied, $after-start))">
         <xsl:value-of select="eo:eol($tabs+1)"/>
@@ -449,7 +394,7 @@ SOFTWARE.
         <xsl:value-of select="$applied"/>
       </xsl:otherwise>
     </xsl:choose>
-    <xsl:value-of select="$crb"/>
+    <xsl:value-of select="$eo:crb"/>
   </xsl:template>
   <!-- Formation -->
   <xsl:template match="o[eo:abstract(.)]">
@@ -462,9 +407,9 @@ SOFTWARE.
       <xsl:if test="$conservative or count(o[eo:void(.)])&gt;0">
         <xsl:apply-templates select="." mode="inline-voids"/>
       </xsl:if>
-      <xsl:value-of select="$arrow"/>
+      <xsl:value-of select="$eo:arrow"/>
     </xsl:if>
-    <xsl:value-of select="$lb"/>
+    <xsl:value-of select="$eo:lb"/>
     <!-- Atom or not empty formation -->
     <xsl:variable name="inners" select="if ($no-binding or (not(@as) and not(@name))) then o else o[not(eo:void(.))]"/>
     <xsl:if test="@atom or count($inners)&gt;0">
@@ -476,8 +421,8 @@ SOFTWARE.
           <xsl:text>.</xsl:text>
           <xsl:value-of select="$name"/>
         </xsl:variable>
-        <xsl:value-of select="$lambda"/>
-        <xsl:value-of select="$dashed-arrow"/>
+        <xsl:value-of select="$eo:lambda"/>
+        <xsl:value-of select="$eo:dashed-arrow"/>
         <xsl:value-of select="eo:lambda-name($lambda-name)"/>
         <xsl:if test="count($inners)&gt;0">
           <xsl:value-of select="eo:comma(2, $tabs+1)"/>
@@ -498,7 +443,7 @@ SOFTWARE.
       </xsl:for-each>
       <xsl:value-of select="eo:eol($tabs)"/>
     </xsl:if>
-    <xsl:value-of select="$rb"/>
+    <xsl:value-of select="$eo:rb"/>
   </xsl:template>
   <!-- Application -->
   <xsl:template match="o" mode="application">
@@ -512,14 +457,14 @@ SOFTWARE.
           <xsl:value-of select="eo:specials(@as)"/>
         </xsl:when>
         <xsl:otherwise>
-          <xsl:value-of select="$alpha"/>
+          <xsl:value-of select="$eo:alpha"/>
           <xsl:value-of select="$position - 1"/>
         </xsl:otherwise>
       </xsl:choose>
       <xsl:if test="eo:abstract(.) and ($conservative or o[eo:void(.)])">
         <xsl:apply-templates select="." mode="inline-voids"/>
       </xsl:if>
-      <xsl:value-of select="$arrow"/>
+      <xsl:value-of select="$eo:arrow"/>
     </xsl:variable>
     <xsl:value-of select="$applied"/>
     <xsl:apply-templates select=".">
diff --git a/eo-parser/src/main/resources/org/eolang/parser/phi/to-salty-phi.xsl b/eo-parser/src/main/resources/org/eolang/parser/phi/to-salty-phi.xsl
index 4c022dfd20..35aae47a65 100644
--- a/eo-parser/src/main/resources/org/eolang/parser/phi/to-salty-phi.xsl
+++ b/eo-parser/src/main/resources/org/eolang/parser/phi/to-salty-phi.xsl
@@ -27,86 +27,43 @@ SOFTWARE.
   <xsl:output encoding="UTF-8" method="text"/>
   <!-- Variables -->
   <xsl:variable name="aliases" select="program/metas/meta/part[last()]"/>
-  <xsl:variable name="xi">
-    <select>ξ</select>
-  </xsl:variable>
-  <xsl:variable name="delta">
-    <select>Δ</select>
-  </xsl:variable>
-  <xsl:variable name="alpha">
-    <select>α</select>
-  </xsl:variable>
-  <xsl:variable name="phi">
-    <select>φ</select>
-  </xsl:variable>
-  <xsl:variable name="rho">
-    <select>ρ</select>
-  </xsl:variable>
-  <xsl:variable name="program">
-    <select>Φ</select>
-  </xsl:variable>
-  <xsl:variable name="lambda">
-    <select>λ</select>
-  </xsl:variable>
-  <xsl:variable name="arrow">
-    <xsl:value-of select="$space"/>
-    <select>↦</select>
-    <xsl:value-of select="$space"/>
-  </xsl:variable>
-  <xsl:variable name="dashed-arrow">
-    <xsl:value-of select="$space"/>
-    <select>⤍</select>
-    <xsl:value-of select="$space"/>
-  </xsl:variable>
-  <xsl:variable name="lb">
-    <select>⟦</select>
-  </xsl:variable>
-  <xsl:variable name="rb">
-    <select>⟧</select>
-  </xsl:variable>
-  <xsl:variable name="empty">
-    <select>∅</select>
-  </xsl:variable>
-  <xsl:variable name="space">
-    <xsl:text> </xsl:text>
-  </xsl:variable>
   <!-- Functions -->
   <!-- Get clean escaped object name  -->
   <xsl:function name="eo:lambda-name">
     <xsl:param name="name"/>
-    <xsl:value-of select="concat('L', replace(replace(replace(substring($name, 3), '\.', '_'), '-', '_'), '@', 'φ'))"/>
+    <xsl:value-of select="concat('L', replace(replace(replace(substring($name, 3), '\.', '_'), '-', '_'), '@', $eo:phi))"/>
   </xsl:function>
   <!-- SPECIAL CHARACTERS -->
   <xsl:function name="eo:specials">
     <xsl:param name="n"/>
     <xsl:choose>
       <xsl:when test="$n='@'">
-        <xsl:value-of select="$phi"/>
+        <xsl:value-of select="$eo:phi"/>
       </xsl:when>
       <xsl:when test="$n='.@'">
         <xsl:text>.</xsl:text>
-        <xsl:value-of select="$phi"/>
+        <xsl:value-of select="$eo:phi"/>
       </xsl:when>
       <xsl:when test="$n='^'">
-        <xsl:value-of select="$rho"/>
+        <xsl:value-of select="$eo:rho"/>
       </xsl:when>
       <xsl:when test="$n='.^'">
         <xsl:text>.</xsl:text>
-        <xsl:value-of select="$rho"/>
+        <xsl:value-of select="$eo:rho"/>
       </xsl:when>
       <xsl:when test="$n='$'">
-        <xsl:value-of select="$xi"/>
+        <xsl:value-of select="$eo:xi"/>
       </xsl:when>
       <xsl:when test="$n='Q'">
-        <xsl:value-of select="$program"/>
+        <xsl:value-of select="$eo:program"/>
       </xsl:when>
       <xsl:when test="starts-with($n, 'org.eolang')">
-        <xsl:value-of select="$program"/>
+        <xsl:value-of select="$eo:program"/>
         <xsl:text>.</xsl:text>
         <xsl:value-of select="$n"/>
       </xsl:when>
       <xsl:when test="$aliases[text()=$n]">
-        <xsl:value-of select="$program"/>
+        <xsl:value-of select="$eo:program"/>
         <xsl:text>.</xsl:text>
         <xsl:choose>
           <xsl:when test="starts-with($n, 'Q.')">
@@ -142,9 +99,10 @@ SOFTWARE.
   <!-- EOL WITH INDENTATION -->
   <xsl:function name="eo:eol">
     <xsl:param name="tabs"/>
-    <xsl:value-of select="'&#10;'"/>
+    <xsl:value-of select="$eo:new-line"/>
     <xsl:for-each select="1 to $tabs">
-      <xsl:text>  </xsl:text>
+      <xsl:value-of select="$eo:space"/>
+      <xsl:value-of select="$eo:space"/>
     </xsl:for-each>
   </xsl:function>
   <!-- Program -->
@@ -157,7 +115,7 @@ SOFTWARE.
         <xsl:text>{</xsl:text>
         <xsl:variable name="tabs" select="2"/>
         <xsl:value-of select="eo:eol(1)"/>
-        <xsl:value-of select="$lb"/>
+        <xsl:value-of select="$eo:lb"/>
         <xsl:value-of select="eo:eol(2)"/>
         <xsl:variable name="has-package" select="metas/meta/head[text()='package']"/>
         <xsl:variable name="package" select="metas/meta[head[text()='package']]/tail[1]"/>
@@ -167,36 +125,36 @@ SOFTWARE.
           <xsl:when test="$has-package">
             <xsl:for-each select="$parts">
               <xsl:value-of select="."/>
-              <xsl:value-of select="$arrow"/>
-              <xsl:value-of select="$lb"/>
+              <xsl:value-of select="$eo:arrow"/>
+              <xsl:value-of select="$eo:lb"/>
               <xsl:value-of select="eo:eol($tabs+position())"/>
             </xsl:for-each>
             <xsl:apply-templates select="objects">
               <xsl:with-param name="tabs" select="$tabs + $length + 1"/>
               <xsl:with-param name="package">
-                <xsl:value-of select="$program"/>
+                <xsl:value-of select="$eo:program"/>
                 <xsl:text>.</xsl:text>
                 <xsl:value-of select="$package"/>
               </xsl:with-param>
             </xsl:apply-templates>
             <xsl:for-each select="$parts">
               <xsl:value-of select="eo:comma(2, $tabs + $length + 2 - position())"/>
-              <xsl:value-of select="$lambda"/>
-              <xsl:value-of select="$dashed-arrow"/>
+              <xsl:value-of select="$eo:lambda"/>
+              <xsl:value-of select="$eo:dashed-arrow"/>
               <xsl:text>Package</xsl:text>
               <xsl:value-of select="eo:eol($tabs + $length + 1 - position())"/>
-              <xsl:value-of select="$rb"/>
+              <xsl:value-of select="$eo:rb"/>
             </xsl:for-each>
           </xsl:when>
           <xsl:otherwise>
             <xsl:apply-templates select="objects">
               <xsl:with-param name="tabs" select="$tabs"/>
-              <xsl:with-param name="package" select="$program"/>
+              <xsl:with-param name="package" select="$eo:program"/>
             </xsl:apply-templates>
           </xsl:otherwise>
         </xsl:choose>
         <xsl:value-of select="eo:eol(1)"/>
-        <xsl:value-of select="$rb"/>
+        <xsl:value-of select="$eo:rb"/>
         <xsl:value-of select="eo:eol(0)"/>
         <xsl:text>}</xsl:text>
       </phi>
@@ -217,8 +175,8 @@ SOFTWARE.
   <!-- Void attribute -->
   <xsl:template match="o[eo:void(.)]">
     <xsl:value-of select="eo:specials(@name)"/>
-    <xsl:value-of select="$arrow"/>
-    <xsl:value-of select="$empty"/>
+    <xsl:value-of select="$eo:arrow"/>
+    <xsl:value-of select="$eo:empty"/>
   </xsl:template>
   <!-- Find path template -->
   <xsl:template match="*" mode="path">
@@ -250,7 +208,7 @@ SOFTWARE.
     <xsl:param name="package"/>
     <xsl:if test="@name">
       <xsl:value-of select="eo:specials(@name)"/>
-      <xsl:value-of select="$arrow"/>
+      <xsl:value-of select="$eo:arrow"/>
     </xsl:if>
     <xsl:choose>
       <!-- Not method -->
@@ -303,16 +261,16 @@ SOFTWARE.
     <xsl:if test="eo:has-data(.) and @base!='org.eolang.number' and @base!='org.eolang.string'">
       <xsl:text>(</xsl:text>
       <xsl:value-of select="eo:eol($tabs+1)"/>
-      <xsl:value-of select="$alpha"/>
+      <xsl:value-of select="$eo:alpha"/>
       <xsl:text>0</xsl:text>
-      <xsl:value-of select="$arrow"/>
-      <xsl:value-of select="$lb"/>
-      <xsl:value-of select="$space"/>
-      <xsl:value-of select="$delta"/>
-      <xsl:value-of select="$dashed-arrow"/>
+      <xsl:value-of select="$eo:arrow"/>
+      <xsl:value-of select="$eo:lb"/>
+      <xsl:value-of select="$eo:space"/>
+      <xsl:value-of select="$eo:delta"/>
+      <xsl:value-of select="$eo:dashed-arrow"/>
       <xsl:value-of select="text()[last()]"/>
-      <xsl:value-of select="$space"/>
-      <xsl:value-of select="$rb"/>
+      <xsl:value-of select="$eo:space"/>
+      <xsl:value-of select="$eo:rb"/>
       <xsl:value-of select="eo:eol($tabs)"/>
       <xsl:text>)</xsl:text>
     </xsl:if>
@@ -324,9 +282,9 @@ SOFTWARE.
     <xsl:variable name="name" select="eo:specials(@name)"/>
     <xsl:if test="@name">
       <xsl:value-of select="$name"/>
-      <xsl:value-of select="$arrow"/>
+      <xsl:value-of select="$eo:arrow"/>
     </xsl:if>
-    <xsl:value-of select="$lb"/>
+    <xsl:value-of select="$eo:lb"/>
     <!-- Atom or not empty formation -->
     <xsl:if test="@atom or count(o)&gt;0">
       <xsl:value-of select="eo:eol($tabs+1)"/>
@@ -337,8 +295,8 @@ SOFTWARE.
           <xsl:text>.</xsl:text>
           <xsl:value-of select="$name"/>
         </xsl:variable>
-        <xsl:value-of select="$lambda"/>
-        <xsl:value-of select="$dashed-arrow"/>
+        <xsl:value-of select="$eo:lambda"/>
+        <xsl:value-of select="$eo:dashed-arrow"/>
         <xsl:value-of select="eo:lambda-name($lambda-name)"/>
         <xsl:if test="count(o)&gt;0">
           <xsl:value-of select="eo:comma(2, $tabs+1)"/>
@@ -358,7 +316,7 @@ SOFTWARE.
       </xsl:for-each>
       <xsl:value-of select="eo:eol($tabs)"/>
     </xsl:if>
-    <xsl:value-of select="$rb"/>
+    <xsl:value-of select="$eo:rb"/>
   </xsl:template>
   <!-- Application -->
   <xsl:template match="o" mode="application">
@@ -368,16 +326,16 @@ SOFTWARE.
     <xsl:choose>
       <xsl:when test="@as">
         <xsl:if test="matches(@as,'^[0-9][1-9]*$')">
-          <xsl:value-of select="$alpha"/>
+          <xsl:value-of select="$eo:alpha"/>
         </xsl:if>
         <xsl:value-of select="eo:specials(@as)"/>
       </xsl:when>
       <xsl:otherwise>
-        <xsl:value-of select="$alpha"/>
+        <xsl:value-of select="$eo:alpha"/>
         <xsl:value-of select="$position - 1"/>
       </xsl:otherwise>
     </xsl:choose>
-    <xsl:value-of select="$arrow"/>
+    <xsl:value-of select="$eo:arrow"/>
     <xsl:apply-templates select=".">
       <xsl:with-param name="tabs" select="$tabs"/>
     </xsl:apply-templates>
diff --git a/eo-parser/src/test/java/org/eolang/parser/PhiSyntaxTest.java b/eo-parser/src/test/java/org/eolang/parser/PhiSyntaxTest.java
index 299cdb3e5c..6758b082ad 100644
--- a/eo-parser/src/test/java/org/eolang/parser/PhiSyntaxTest.java
+++ b/eo-parser/src/test/java/org/eolang/parser/PhiSyntaxTest.java
@@ -102,6 +102,9 @@ void addsMetaForPackage() throws IOException {
     @ClasspathSource(value = "org/eolang/parser/phi-packs", glob = "**.yaml")
     void printsSaltyToSweet(final String pack) throws IOException {
         final Xtory xtory = new XtSticky(new XtYaml(pack));
+        System.out.println(
+            new PhiSyntax((String) xtory.map().get("salty")).parsed()
+        );
         MatcherAssert.assertThat(
             "Salty XMIR should be equivalent to sweet one",
             new Xmir(
diff --git a/eo-parser/src/test/resources/org/eolang/parser/eo-syntax/auto-named-abstract.yaml b/eo-parser/src/test/resources/org/eolang/parser/eo-syntax/auto-named-abstract.yaml
index 3d04deccd6..025dcffc04 100644
--- a/eo-parser/src/test/resources/org/eolang/parser/eo-syntax/auto-named-abstract.yaml
+++ b/eo-parser/src/test/resources/org/eolang/parser/eo-syntax/auto-named-abstract.yaml
@@ -23,9 +23,9 @@
 sheets: [ ]
 asserts:
   - /program[not(errors)]
-  - //o[not(@base) and @name='auto-named-attr-at-2-4' and o[@name='five']]
-  - //o[not(@base) and @name='auto-named-attr-at-4-2' and o[@name='ten']]
-  - //o[not(@base) and @name='auto-named-attr-at-8-10' and @as='hello' and o[@name='eleven']]
+  - //o[not(@base) and @name='α24' and o[@name='five']]
+  - //o[not(@base) and @name='α42' and o[@name='ten']]
+  - //o[not(@base) and @name='α810' and @as='hello' and o[@name='eleven']]
 input: |
   x > first
     [] >>
diff --git a/eo-parser/src/test/resources/org/eolang/parser/phi-packs/auto-named.yaml b/eo-parser/src/test/resources/org/eolang/parser/phi-packs/auto-named.yaml
index 307818c241..ded15e0e48 100644
--- a/eo-parser/src/test/resources/org/eolang/parser/phi-packs/auto-named.yaml
+++ b/eo-parser/src/test/resources/org/eolang/parser/phi-packs/auto-named.yaml
@@ -29,8 +29,8 @@ input: |
 sweet: |-
   {⟦
     object ↦ ⟦
-      first ↦ Φ̇.x(ξ.auto-named-attr-at-4-6),
-      auto-named-attr-at-4-6 ↦ ⟦
+      first ↦ Φ̇.x(ξ.α46),
+      α46 ↦ ⟦
         b ↦ Φ̇.bytes(⟦ Δ ⤍ 01- ⟧)
       ⟧
     ⟧
@@ -40,9 +40,9 @@ salty: |-
     ⟦
       object ↦ ⟦
         first ↦ Φ.org.eolang.x(
-          α0 ↦ ξ.auto-named-attr-at-4-6
+          α0 ↦ ξ.α46
         ),
-        auto-named-attr-at-4-6 ↦ ⟦
+        α46 ↦ ⟦
           b ↦ Φ.org.eolang.bytes(
             α0 ↦ ⟦ Δ ⤍ 01- ⟧
           )