Dec: add Dec-{𝟘,𝟙,×,→}