Logical symbol