Find Gmail email with any attachment e.g. PDF

Find all PDFs sent to joe@yahoo.com: type in GMail search:

to:joe@yahoo.com filename:pdf

Find any email sent to joe@yahoo.com with any attachment:

to:joe@yahoo.com has:attachment