  An abelian surface A over a field K has potential quaternionic multiplication
if the ring End_\bar K (A) of geometric endomorphisms of A is an order in an
indefinite rational division quaternion algebra. In this brief note, we study
the possible structures of the ring of endomorphisms of these surfaces and we
provide explicit examples of Jacobians of curves of genus two which show that
our result is sharp.
