The United States District Court for the Western District of Texas (in case citations, W.D. Tex.) is a federal district court. The court convenes in San Antonio with divisions in Austin, Del Rio, El Paso, Midland, Pecos, and Waco. It has jurisdiction in over 50 Trans-Pecos, Permian Basin, and Hill Country counties of the U.S. state of Texas. This district covers over 92,000 square miles (240,000 km) and seven divisions.