logical symbol