Typst reader: fix handling of dot(), tilde(), ddot().
#5477
The logs for this run have expired and are no longer available.
Loading
dot(), tilde(), ddot().
#5477