automath
发音
英 [ɔ:'təmæθ]
美 [ɔ'təmæθ]