automath的意思|示意
美 / ɔ:'təmæθ /
英 / ɔ'təmæθ /
[计] 自动数学程序