en:symbol:logic_expressions