Links for automath