| Copyright | (c) Artem Mavrin 2021 |
|---|---|
| License | BSD3 |
| Maintainer | artemvmavrin@gmail.com |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | Safe |
| Language | Haskell2010 |
AutoProof.Internal.Utils.PrettyPrintable.Symbols
Description
Defines string constants ("symbols") used for pretty-printing.
Synopsis
- falseS :: String
- trueS :: String
- notS :: String
- impS :: String
- orS :: String
- andS :: String
- iffS :: String
- turnstileS :: String
- axiomS :: String
- falseElimS :: String
- trueIntrS :: String
- notElimS :: String
- notIntrS :: String
- impElimS :: String
- impIntrS :: String
- orElimS :: String
- orIntrLS :: String
- orIntrRS :: String
- andElimLS :: String
- andElimRS :: String
- andIntrS :: String
- iffElimLS :: String
- iffElimRS :: String
- iffIntrS :: String
- vertS :: String
- cornerS :: String
- branchS :: String
Formula symbols
Judgement symbols
turnstileS :: String Source #
Judgement turnstile symbol.
Proof symbols
falseElimS :: String Source #
Falsity elimination symbol.