Text this: An axiomatization for the universal theory of the Heisenberg group