Similarly, defining their inverses F −1 MultiTab and F −1 TabSW , shows their unambiguity.
the composition of functions such as MultiTab defines a conversion from annotations, represented in the DiAML-MultiTab format to representations in the DiAML-XML format.