a^0 =Etttaluppho¨jttill= Ett tal upphöjt till =Etttaluppho¨jttill0a¨ralltidlikamed är alltid lika med a¨ralltidlikamed1.Detbetyderattmanalltidkanskrivaom. Det betyder att man alltid kan skriva om .Detbetyderattmanalltidkanskrivaom1somettvalfritttaluppho¨jttill som ett valfritt tal upphöjt till somettvalfritttaluppho¨jttill0 t . e x . ′ " ‘ U N I Q − − M L M a t h − 0 − Q I N U ‘ " ′ M a n k a n v ä l j a v i l k e t t a l s o m h e l s t ‴ f ö r u t o m ‴ {\textstyle t.ex. '"`UNIQ--MLMath-0-QINU`"' Man kan välja vilket tal som helst '''förutom''' } 0eftersom eftersom eftersom0^0$ är odefinierat.