| elevation (m) | 1985.40 |
| ign:latitud | 42.8962636099720029 |
| ign:longitud | -6.5340296420980000 |
| ign:red | Red Geodesica Nacional Convencional (ROI) |
| man_made | survey_point |
| name | El Miro |
| natural | peak |
| Note | This is a point from an official geodetic network. Use it as a reference, but do NOT move it. |
| place type | Localities |
| ref | 10093 |
| source | Instituto Geográfico Nacional |
| source:date | 201011 |
| source:ref | ftp://ftp.geodesia.ign.es |
| wikidata | Q115503006 |