Abstract automath by Rezus