Alternate format for doctest examples