From 39ef87d3ce39152febc130aa95e25dc0722c3525 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 12 Aug 2025 00:37:28 +0200
Subject: Allow relation symbols with parameters

Parameters must follow the relation symbol and be surrounded by braces, like so: `\rel{x}{y}{z}`.

This attempt is still brittle/broken in a few ways:
- It makes using braces in creative ways in mixfix notation ambiguous.
- It does not verify that the parameters are used in a consistent manner for each symbol. It essentially allows users to define  `a\MyRel b` and `a\MyRel{x} b` (and ones with even more parameters).
- It allows parameters for all relation symbols, even for those where it makes no sense in ordinary TeX markup, e.g. `a <{x} b`.
---
 test/golden/union/parsing.golden | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'test/golden/union/parsing.golden')

diff --git a/test/golden/union/parsing.golden b/test/golden/union/parsing.golden
index 391f039..3ccdc08 100644
--- a/test/golden/union/parsing.golden
+++ b/test/golden/union/parsing.golden
@@ -19,7 +19,7 @@
                                 ) Positive
                                 ( RelationSymbol
                                     ( Command "in" )
-                                )
+                                ) []
                                 ( ExprVar
                                     ( NamedVar "A" ) :| []
                                 )
@@ -34,7 +34,7 @@
                                 ) Positive
                                 ( RelationSymbol
                                     ( Command "in" )
-                                )
+                                ) []
                                 ( ExprVar
                                     ( NamedVar "B" ) :| []
                                 )
@@ -52,7 +52,7 @@
                     ) Positive
                     ( RelationSymbol
                         ( Symbol "=" )
-                    )
+                    ) []
                     ( ExprVar
                         ( NamedVar "B" ) :| []
                     )
@@ -96,7 +96,7 @@
                         ) Positive
                         ( RelationSymbol
                             ( Command "in" )
-                        )
+                        ) []
                         ( ExprOp
                             [ Nothing
                             , Just
@@ -121,7 +121,7 @@
                             ) Positive
                             ( RelationSymbol
                                 ( Command "in" )
-                            )
+                            ) []
                             ( ExprVar
                                 ( NamedVar "A" ) :| []
                             )
@@ -136,7 +136,7 @@
                             ) Positive
                             ( RelationSymbol
                                 ( Command "in" )
-                            )
+                            ) []
                             ( ExprVar
                                 ( NamedVar "B" ) :| []
                             )
@@ -172,7 +172,7 @@
                     ) Positive
                     ( RelationSymbol
                         ( Symbol "=" )
-                    )
+                    ) []
                     ( ExprOp
                         [ Nothing
                         , Just
@@ -224,7 +224,7 @@
                     ) Positive
                     ( RelationSymbol
                         ( Symbol "=" )
-                    )
+                    ) []
                     ( ExprOp
                         [ Nothing
                         , Just
@@ -269,7 +269,7 @@
                             ) Positive
                             ( RelationSymbol
                                 ( Command "in" )
-                            )
+                            ) []
                             ( ExprOp
                                 [ Nothing
                                 , Just
@@ -302,7 +302,7 @@
                             ) Positive
                             ( RelationSymbol
                                 ( Command "in" )
-                            )
+                            ) []
                             ( ExprOp
                                 [ Nothing
                                 , Just
@@ -341,7 +341,7 @@
                                 ) Positive
                                 ( RelationSymbol
                                     ( Command "in" )
-                                )
+                                ) []
                                 ( ExprOp
                                     [ Nothing
                                     , Just
@@ -374,7 +374,7 @@
                                 ) Positive
                                 ( RelationSymbol
                                     ( Command "in" )
-                                )
+                                ) []
                                 ( ExprOp
                                     [ Nothing
                                     , Just
-- 
cgit v1.2.3