updated formatting in logical AND token and its spec files