accentElement
Attaches an accent to a base.
Example
$grave(a) = accent(a, `)$ \
$arrow(a) = accent(a, arrow)$ \
$tilde(a) = accent(a, \u{0303})$
Parameters
base
The base to which the accent is applied. May consist of multiple letters.
View example
$arrow(A B C)$
accent
The accent to apply to the base.
Supported accents include:
| Accent | Name | Codepoint |
|---|---|---|
| Grave | grave | ` |
| Acute | acute | ´ |
| Circumflex | hat | ^ |
| Tilde | tilde | ~ |
| Macron | macron | ¯ |
| Dash | dash | ‾ |
| Breve | breve | ˘ |
| Dot | dot | . |
| Double dot, Diaeresis | dot.double, diaer | ¨ |
| Triple dot | dot.triple | ⃛ |
| Quadruple dot | dot.quad | ⃜ |
| Circle | circle | ∘ |
| Double acute | acute.double | ˝ |
| Caron | caron | ˇ |
| Right arrow | arrow, -> | → |
| Left arrow | arrow.l, <- | ← |
| Left/Right arrow | arrow.l.r | ↔ |
| Right harpoon | harpoon | ⇀ |
| Left harpoon | harpoon.lt | ↼ |
size
The size of the accent, relative to the width of the base.
Default: auto