3 files changed, 79 insertions, 5 deletions
diff --git a/test/golden/relation-notation/parsing.golden b/test/golden/relation-notation/parsing.golden
index 6c489be..65a7b94 100644
--- a/test/golden/relation-notation/parsing.golden
+++ b/test/golden/relation-notation/parsing.golden
@@ -1,10 +1,58 @@
-[ BlockClaim Proposition
+[ BlockSig
     ( Location
         { locFile = "test/examples/relation-notation.tex"
         , locLine = 1
         , locColumn = 1
         }
     ) Nothing
+    ( Marker "example_pair" ) []
+    ( SignatureSymbolic
+        ( SymbolPattern
+            ( MixfixItem
+                ( TokenCons
+                    ( Command "pair" )
+                    ( TokenCons InvisibleBraceL
+                        ( HoleCons
+                            ( TokenCons InvisibleBraceR
+                                ( TokenCons InvisibleBraceL
+                                    ( HoleCons ( TokenCons InvisibleBraceR End ) )
+                                )
+                            )
+                        )
+                    )
+                )
+                ( Marker "pair" ) NonAssoc
+            )
+            [ NamedVar "x"
+            , NamedVar "y"
+            ]
+        ) NounPhrase ( [] )
+        ( Noun
+            ( Location
+                { locFile = "test/examples/relation-notation.tex"
+                , locLine = 2
+                , locColumn = 18
+                }
+            )
+            ( LexicalItemSgPl
+                ( SgPl
+                    { sg = TokenCons
+                        ( Word "set" ) End
+                    , pl = TokenCons
+                        ( Word "sets" ) End
+                    }
+                )
+                ( Marker "set" )
+            ) []
+        ) ( Nothing ) ( [] ) ( Nothing )
+    )
+, BlockClaim Proposition
+    ( Location
+        { locFile = "test/examples/relation-notation.tex"
+        , locLine = 5
+        , locColumn = 1
+        }
+    ) Nothing
     ( Marker "mathrel_notation_test" )
     ( Claim []
         ( StmtConnected
@@ -12,7 +60,7 @@
             , mloc = Just
                 ( Location
                     { locFile = "test/examples/relation-notation.tex"
-                    , locLine = 2
+                    , locLine = 6
                     , locColumn = 5
                     }
                 )
@@ -25,7 +73,7 @@
                         ( RelationExpr
                             ( Location
                                 { locFile = "test/examples/relation-notation.tex"
-                                , locLine = 2
+                                , locLine = 6
                                 , locColumn = 10
                                 }
                             )
@@ -47,7 +95,7 @@
                         ( RelationExpr
                             ( Location
                                 { locFile = "test/examples/relation-notation.tex"
-                                , locLine = 2
+                                , locLine = 6
                                 , locColumn = 33
                                 }
                             )
diff --git a/test/golden/relation-notation/scanning.golden b/test/golden/relation-notation/scanning.golden
index 0637a08..5a6351e 100644
--- a/test/golden/relation-notation/scanning.golden
+++ b/test/golden/relation-notation/scanning.golden
@@ -1 +1,11 @@
-[]
-\ No newline at end of file
+[ ScanFunctionSymbol
+    ( TokenCons ParenL
+        ( HoleCons
+            ( TokenCons
+                ( Symbol "," )
+                ( HoleCons ( TokenCons ParenR End ) )
+            )
+        )
+    )
+    ( Marker "example_pair" )
+]
+\ No newline at end of file
diff --git a/test/golden/relation-notation/tokenizing.golden b/test/golden/relation-notation/tokenizing.golden
index ae1bda5..84fc828 100644
--- a/test/golden/relation-notation/tokenizing.golden
+++ b/test/golden/relation-notation/tokenizing.golden
@@ -1,4 +1,20 @@
 [
+    [ BeginEnv "signature"
+    , Label "example_pair"
+    , BeginEnv "math"
+    , ParenL
+    , Variable "x"
+    , Symbol ","
+    , Variable "y"
+    , ParenR
+    , EndEnv "math"
+    , Word "is"
+    , Word "a"
+    , Word "set"
+    , Symbol "."
+    , EndEnv "signature"
+    ]
+,
     [ BeginEnv "proposition"
     , Label "mathrel_notation_test"
     , Word "if"