moduleUHC.Util.PrettyUtilswhereimportUHC.Util.Pretty--------------------------------------------------------------------------- Utils for tools: making LaTeX-------------------------------------------------------------------------mkTexCmdDef::(PPcmd,PPa,PPb)=>cmd->a->b->PP_DocmkTexCmdDefcmdnmdef="\\">|<ppcmd>|<"{">|<ppnm>|<"}{%">-<ppdef>-<"}"mkTexCmdUse::(PPcmd,PPa)=>cmd->a->PP_DocmkTexCmdUsecmdnm="\\">|<ppcmd>|<"{">|<ppnm>|<"}"mkTexCmdUse'::(PPcmd,PPa)=>cmd->a->PP_DocmkTexCmdUse'cmdnm=mkTexCmdUsecmdnm>|<"%"