Typst reader: fix handling of dot(), tilde(), ddot().

See jgm/typst-hs#38.
This commit is contained in:
John MacFarlane
2024-02-04 22:37:37 -08:00
parent 1e05f32ead
commit 3ef74d1fd2
2 changed files with 6 additions and 7 deletions
+3 -5
View File
@@ -1847,8 +1847,7 @@ Pandoc
[ Para
[ Span
( "" , [ "box" ] , [] )
[ Math
InlineMath "\\overset{\\cdot}{a}"
[ Math InlineMath "\\dot{a}"
, Str "\8192"
, Code ( "" , [] , [] ) "dot(a)"
]
@@ -1862,8 +1861,7 @@ Pandoc
[ Para
[ Span
( "" , [ "box" ] , [] )
[ Math
InlineMath "\\overset{\\sim}{a}"
[ Math InlineMath "\\widetilde{a}"
, Str "\8192"
, Code ( "" , [] , [] ) "tilde(a)"
]
@@ -1895,7 +1893,7 @@ Pandoc
[ Para
[ Span
( "" , [ "box" ] , [] )
[ Math InlineMath "\\overset{\168}{a}"
[ Math InlineMath "\\ddot{a}"
, Str "\8192"
, Code ( "" , [] , [] ) "diaer(a)"
]