About HFC symbol

?>