(untitled) - Phan Đình Diệu (Hà Nội, 1977)
Keywords: automath,mathematical notation