Fix empty-set symbol in comments

This commit is contained in:
David Tolnay 2024-04-16 18:19:27 -07:00
parent 3fba278231
commit e480cabe3a
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82
3 changed files with 3 additions and 3 deletions

View file

@ -51,7 +51,7 @@ pub enum Delimiter {
Brace,
/// `[ ... ]`
Bracket,
/// `Ø ... Ø`
/// `∅ ... ∅`
/// An invisible delimiter, that may, for example, appear around tokens coming from a
/// "macro variable" `$var`. It is important to preserve operator priorities in cases like
/// `$var * 3` where `$var` is `1 + 2`.