Template:PlanetMath attribution/doc