Definition PackageNameT :=
  lanarkDottedString.
