તેમનું આખું નામ ડૉ. હરગોવિંદ લક્ષ્મીદાસ ત્રિવેદી હતું.