Formatting

$$ -> *$