User:Noogai93/Tridecatryx

The tridecatryx is equal to \(\lbrace10,8,1,2\rbrace\ \&\ 10\ =\ 10\{\{1\}\}8\ \&\ 10\).