Checkboxen, Radiobuttons und die CSV in PHP

[Malcolm Beck´s]

hi,

<?php ($auswahl == "an") ? ' "checked"' : '' ?>

Kannst du mir Eventuell sagen, wie sich diese Schreibweise nennt? Oder wo im Manual diese erklärt wird?

mfg