braces top-level constant

Map<String, (String, bool)> const braces

Horizontal braces: command → (character, over).

Implementation

const Map<String, (String, bool)> braces = {
  r'\overbrace': ('⏞', true),
  r'\underbrace': ('⏟', false),
  r'\overbracket': ('⎴', true),
  r'\underbracket': ('⎵', false),
  r'\overparen': ('⏜', true),
  r'\underparen': ('⏝', false),
};