hi:symbol:logic_expressions