[ BlockClaim Proposition
    ( Location
        { locFile = "test/examples/relation-notation.tex"
        , locLine = 1
        , locColumn = 1
        }
    ) Nothing
    ( Marker "mathrel_notation_test" )
    ( Claim []
        ( StmtConnected
            { conn = Implication
            , mloc = Just
                ( Location
                    { locFile = "test/examples/relation-notation.tex"
                    , locLine = 2
                    , locColumn = 5
                    }
                )
            , stmt1 = StmtFormula
                { formula = FormulaChain
                    ( ChainBase
                        ( ExprVar
                            ( NamedVar "x" ) :| []
                        ) Positive
                        ( RelationExpr
                            ( Location
                                { locFile = "test/examples/relation-notation.tex"
                                , locLine = 2
                                , locColumn = 10
                                }
                            )
                            ( ExprVar
                                ( NamedVar "R" )
                            )
                        )
                        ( ExprVar
                            ( NamedVar "y" ) :| []
                        )
                    )
                }
            , stmt2 = StmtFormula
                { formula = FormulaChain
                    ( ChainBase
                        ( ExprVar
                            ( NamedVar "x" ) :| []
                        ) Positive
                        ( RelationExpr
                            ( Location
                                { locFile = "test/examples/relation-notation.tex"
                                , locLine = 2
                                , locColumn = 33
                                }
                            )
                            ( ExprVar
                                ( NamedVar "R" )
                            )
                        )
                        ( ExprVar
                            ( NamedVar "y" ) :| []
                        )
                    )
                }
            }
        )
    )
]