Postgresql logical implication operator

logical_implication.sql

CREATE FUNCTION
  logical_implication(a boolean, b boolean)
RETURNS
  boolean
LANGUAGE
  sql
IMMUTABLE
PARALLEL SAFE
RETURNS NULL ON NULL INPUT
COST 1
AS $$
  SELECT NOT a OR b
$$
;

CREATE OPERATOR ->
  ( function = logical_implication
  , leftarg  = boolean
  , rightarg = boolean
  )
;

Not checked the boolean table for that one yet, still I think that OR NOT is "hard" on the human mind in regular SQL, especially as the human than had to triple check precedence rules. I'd still prefer the operator.