Boolean2TMConstants
minus :: [Char] Source #
plus :: [Char] Source #
signs :: [[Char]] Source #
negation :: [Char] Source #
leftBracket :: [Char] Source #
rightBracket :: [Char] Source #
brackets :: [[Char]] Source #
hash :: [Char] Source #
star :: [Char] Source #
space :: [Char] Source #
comma :: [Char] Source #