literalReplacements top-level constant

Map<String, String> const literalReplacements

Math-mode replacements for literal characters: - is typeset as a minus sign, * as an asterisk operator.

Implementation

const Map<String, String> literalReplacements = {'-': '−', '*': '∗'};