Quick question - merging two or more arrays without reindexing

[eluser]TheFuzzy0ne[/eluser]
OK, I think I've solved it.

Code:

print_r($arr1 + $arr2);

#Output:
Array
(
    [1] => val 1
    [2] => val 2
    [10] => val 10
    [11] => val 11
)

I'd still be interested to know what PHP function the + construct calls, though.