Exact gravitational lens equation in spherically symmetric and static spacetimes

Lensing in a spherically symmetric and static spacetime is considered, based on the lightlike geodesic equation without approximations. After fixing two radius values rO and rS, lensing for an observation event somewhere at rO and static light sources distributed at rS is coded in a lens equation that is explicitly given in terms of integrals over the metric coefficients. The lens equation relates two angle variables and can be easily plotted if the metric coefficients have been specified; this allows us to visualize in a convenient way all relevant lensing properties, giving image positions, apparent brightnesses, image distortions, etc. Two examples are treated: lensing by a Barriola-Vilenkin monopole and lensing by an Ellis wormhole.