- \(+\):: Int → Int → Int
- \(-\):: Int → Int →Int
- \(\leq\):: Int → Int → Bool
- \(=\):: Int → Int → Bool

Those '::' are haskell for has type

However putting a space before the '::' makes it into a definition list!

Ive also tried making the \( \) enclose the whole line -- no use!

So how to escape the :: and tell org: "Please dont make this a definition list?"