aelf ^{$ 0.1234 (+0.0002)}