theme_taxonomy_term_select($element)taxonomy/taxonomy.module, line 1212
We use the default selection field for choosing terms.
<?php function theme_taxonomy_term_select($element) { return theme('select', $element); } ?>