Use the proper Unicode symbol for empty sets#1339

igstan wants to merge 1 commit intotypelevel:maintypelevel/spire:mainfrom

igstan:igstan/use-proper-empty-set-symboligstan/spire:igstan/use-proper-empty-set-symbolCopy head branch name to clipboard