Hacker News new | ask | show | jobs
by layer8 1265 days ago
How about using the Unicode characters ℕ, ℤ, ℚ, ℝ, ℂ, etc.?