Links for atomic-term-symbol-calculator