def two := 2

notation "𝟚" => two

/- 𝟚 : Nat -/

#check 𝟚



def three (_ : Nat) := 3

notation "𝟛" => three

/- three 10 : Nat -/

#check 𝟛 10