module Boolean2TMConstants where

-- symbols    
minus :: [Char]
minus :: [Char]
minus = [Char]
"-"

plus :: [Char]
plus :: [Char]
plus = [Char]
"+"

signs :: [[Char]]
signs :: [[Char]]
signs = [[Char]
minus, [Char]
plus]

negation :: [Char]
negation :: [Char]
negation = [Char]
"!"

leftBracket :: [Char]
leftBracket :: [Char]
leftBracket = [Char]
"("

rightBracket :: [Char]
rightBracket :: [Char]
rightBracket = [Char]
")"

brackets :: [[Char]]
brackets :: [[Char]]
brackets = [[Char]
leftBracket, [Char]
rightBracket]

hash :: [Char]
hash :: [Char]
hash = [Char]
"#"

star :: [Char]
star :: [Char]
star = [Char]
"*"

space :: [Char]
space :: [Char]
space = [Char]
"."  

comma :: [Char]
comma :: [Char]
comma = [Char]
"'"