Ildefonsus (bug)
# Ildefonsus (bug)

Ildefonsus is a genus of lace bugs in the family Tingidae. There are about six described species in Ildefonsus.

## Species

These six species belong to the genus Ildefonsus:

* Ildefonsus ampliatus Péricart, 1985
* Ildefonsus distanti Li and Zheng, 2006
* Ildefonsus javanus Péricart, 2000
* Ildefonsus nepalensis Tomokuni, 1981
* Ildefonsus nexus Drake and Ruhoff, 1961
* Ildefonsus provorsus Distant, 1910
