File: mo6.native

package info (click to toggle)
haskell-texmath 0.12.10.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 31,408 kB
  • sloc: haskell: 12,870; makefile: 29
file content (15 lines) | stat: -rw-r--r-- 383 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
[ EMathOperator "there exists"
, EGrouped
    [ EGrouped [ EIdentifier "\948" , ESymbol Rel ">" , ENumber "0" ]
    , EMathOperator "such that"
    , EGrouped
        [ EGrouped
            [ EIdentifier "f"
            , ESymbol Ord "\8289"
            , EDelimited "(" ")" [ Right (EIdentifier "x") ]
            ]
        , ESymbol Rel "<"
        , ENumber "1"
        ]
    ]
]