extensibleArrows top-level constant

Set<String> const extensibleArrows

Extensible arrow commands (\xrightarrow family).

Implementation

const Set<String> extensibleArrows = {
  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',
};