spire icon indicating copy to clipboard operation
spire copied to clipboard

Published 20 hours ago • verified publisher icon typelevel

Use the proper Unicode symbol for empty sets

Open igstan opened this issue 8 months ago • 0 comments

Ø is LATIN CAPITAL LETTER O WITH STROKE: https://codepoints.net/U+00D8 ∅ is EMPTY SET: https://codepoints.net/U+2205

igstan avatar Jun 17 '24 12:06 igstan