-- -*- M2-comint -*- {* hash: -515136779 *}

i1 : makeDocumentTag "some title"

o1 = User :: some title

o1 : DocumentTag

i2 : makeDocumentTag (symbol ++, Module, Module)

o2 = User :: Module ++ Module

o2 : DocumentTag

i3 : makeDocumentTag ((symbol _, symbol =), Symbol, Thing)

o3 = User :: Symbol _ Thing = Thing

o3 : DocumentTag

i4 : makeDocumentTag (Tor,ZZ,Module,Module)

o4 = User :: Tor_ZZ(Module,Module)

o4 : DocumentTag

i5 :