Update terminators to include arithmetic symbols