summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric Biedert <github@ericbiedert.de>2023-04-11 13:56:08 +0200
committerGitHub <noreply@github.com>2023-04-11 13:56:08 +0200
commita7dfed86c6134dc0a396267a73cee1a9489c9e05 (patch)
treeb8cdaf29050ab6db737b6d856ee87ada725f1936
parentf096b7b544ccac30bc9ae345953d4c28c1226f58 (diff)
Docs for Newton's notation for derivatives (#670)
-rw-r--r--library/src/math/accent.rs33
1 files changed, 18 insertions, 15 deletions
diff --git a/library/src/math/accent.rs b/library/src/math/accent.rs
index 471507c5..bf0a78d5 100644
--- a/library/src/math/accent.rs
+++ b/library/src/math/accent.rs
@@ -29,21 +29,24 @@ pub struct AccentElem {
///
/// Supported accents include:
///
- /// | Accent | Name | Codepoint |
- /// | ------------ | --------------- | --------- |
- /// | Grave | `grave` | <code>&DiacriticalGrave;</code> |
- /// | Acute | `acute` | `´` |
- /// | Circumflex | `hat` | `^` |
- /// | Tilde | `tilde` | `~` |
- /// | Macron | `macron` | `¯` |
- /// | Breve | `breve` | `˘` |
- /// | Dot | `dot` | `.` |
- /// | Diaeresis | `diaer` | `¨` |
- /// | Circle | `circle` | `∘` |
- /// | Double acute | `acute.double` | `˝` |
- /// | Caron | `caron` | `ˇ` |
- /// | Right arrow | `arrow`, `->` | `→` |
- /// | Left arrow | `arrow.l`, `<-` | `←` |
+ /// | Accent | Name | Codepoint |
+ /// | ------------- | --------------- | --------- |
+ /// | Grave | `grave` | <code>&DiacriticalGrave;</code> |
+ /// | Acute | `acute` | `´` |
+ /// | Circumflex | `hat` | `^` |
+ /// | Tilde | `tilde` | `~` |
+ /// | Macron | `macron` | `¯` |
+ /// | Breve | `breve` | `˘` |
+ /// | Dot | `dot` | `.` |
+ /// | Double dot | `dot.double` | `¨` |
+ /// | Triple dot | `dot.triple` | <code>&tdot;</code> |
+ /// | Quadruple dot | `dot.quad` | <code>&DotDot;</code> |
+ /// | Diaeresis | `diaer` | `¨` |
+ /// | Circle | `circle` | `∘` |
+ /// | Double acute | `acute.double` | `˝` |
+ /// | Caron | `caron` | `ˇ` |
+ /// | Right arrow | `arrow`, `->` | `→` |
+ /// | Left arrow | `arrow.l`, `<-` | `←` |
#[required]
pub accent: Accent,
}