base-unicode-symbols-0.2.3: src/Numeric/Natural/Unicode.hs

{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}

module Numeric.Natural.Unicode ( ℕ ) where

import Numeric.Natural ( Natural )

{-|
U+2115, DOUBLE-STRUCK CAPITAL N
-}
type ℕ = Natural