ghc ignore default type warnings
fix new line
add mathbb{R}