#formal language #symbolic language #logical notation #mathematical notation #symbolic logic