Symbol: amsmatch