extensibleArrowChars top-level constant

Map<String, String> const extensibleArrowChars

The arrow each extensible arrow command stretches.

Implementation

const Map<String, String> extensibleArrowChars = {
  r'\xrightarrow': '→',
  r'\xleftarrow': '←',
  r'\xRightarrow': '⇒',
  r'\xLeftarrow': '⇐',
  r'\xleftrightarrow': '↔',
  r'\xLeftrightarrow': '⇔',
  r'\xhookleftarrow': '↩',
  r'\xhookrightarrow': '↪',
  r'\xmapsto': '↦',
  r'\xrightharpoondown': '⇁',
  r'\xrightharpoonup': '⇀',
  r'\xleftharpoondown': '↽',
  r'\xleftharpoonup': '↼',
  r'\xrightleftharpoons': '⇌',
  r'\xleftrightharpoons': '⇋',
  r'\xlongequal': '=',
  r'\xtwoheadrightarrow': '↠',
  r'\xtwoheadleftarrow': '↞',
  r'\xtofrom': '⇄',
  r'\xrightleftarrows': '⇄',
  r'\xrightequilibrium': '⇌',
  r'\xleftequilibrium': '⇋',
};