carlob meant to write a single * there, which became italics instead. Point is that Times is the actual 'FullForm' for multiplication, the and * is syntax sugar for it.