changed DisplayMath type to (DisplayMath Attr) to allow adding identifiers and environment
export displayMathWith()