remove dubious unicode character warnings for 𝕏 #6

Merged
n merged 1 commits from x into main 2024-02-03 23:00:26 +01:00

1 Commits

Author SHA1 Message Date
n 923b0c9526
remove dubious unicode character warnings for 𝕏 2024-02-03 22:58:54 +01:00