Sketch noun coord, symbols for reals

1 files changed, 52 insertions, 0 deletions

diff --git a/test/golden/formula/parsing.golden b/test/golden/formula/parsing.golden
index 4c6321d..7de1fb7 100644
--- a/test/golden/formula/parsing.golden
+++ b/test/golden/formula/parsing.golden
@@ -73,4 +73,56 @@
             )
         )
     )
+, BlockLemma
+    ( SourcePos
+        { sourceName = "test/examples/formula.tex"
+        , sourceLine = Pos 9
+        , sourceColumn = Pos 1
+        }
+    )
+    ( Marker "formula_test_not_exists" )
+    ( Lemma []
+        ( StmtConnected Equivalence
+            ( StmtFormula
+                ( FormulaQuantified Existentially
+                    ( NamedVar "x" :|
+                        [ NamedVar "y" ]
+                    ) Unbounded
+                    ( FormulaChain
+                        ( ChainBase
+                            ( ExprVar
+                                ( NamedVar "x" ) :| []
+                            ) Positive
+                            ( RelationSymbol
+                                ( Symbol "=" )
+                            )
+                            ( ExprVar
+                                ( NamedVar "y" ) :| []
+                            )
+                        )
+                    )
+                )
+            )
+            ( StmtNeg
+                ( StmtFormula
+                    ( FormulaQuantified Existentially
+                        ( NamedVar "x" :| [] ) Unbounded
+                        ( FormulaChain
+                            ( ChainBase
+                                ( ExprVar
+                                    ( NamedVar "x" ) :| []
+                                ) Positive
+                                ( RelationSymbol
+                                    ( Command "neq" )
+                                )
+                                ( ExprVar
+                                    ( NamedVar "x" ) :| []
+                                )
+                            )
+                        )
+                    )
+                )
+            )
+        )
+    )
 ]
\ No newline at end of file