| San Antonio | |
| Settlement Type: | District |
| Pushpin Map: | Costa Rica |
| Pushpin Map Alt: | San Antonio district location in Costa Rica |
| Pushpin Map Caption: | San Antonio district location in Costa Rica |
| Coordinates: | 9.7233°N -84.0522°W |
| Map Alt: | San Antonio district |
| Established Title: | Creation |
| Established Date: | 7 November 1995 |
| Subdivision Type: | Country |
| Subdivision Type1: | Province |
| Subdivision Name1: | San José |
| Subdivision Type2: | Canton |
| Subdivision Name2: | León Cortés Castro |
| Area Total Km2: | 10.15 |
| Elevation M: | 1770 |
| Population Total: | 1106 |
| Population As Of: | 2011 |
| Population Density Km2: | auto |
| Postal Code Type: | Postal code |
| Postal Code: | 12006 |
San Antonio is a district of the León Cortés Castro canton, in the San José province of Costa Rica.[1] [2]
San Antonio was created on 7 November 1995 by Decreto Ejecutivo 24769-G .
San Antonio has an area of km2[3] and an elevation of metres.
For the 2011 census, San Antonio had a population of inhabitants. [4]
The district is covered by the following road routes: