added generic versions of inlineMathWith and displayMathWith; added the exactly combinator