{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}

module Numeric.Natural.Unicode ( ℕ ) where

import Numeric.Natural ( Natural )

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