Automatically linking with formulas

auto-linking got more operators today