macro2utf8["nshortparallel"] = "∦︀";
utf82macro["∦︀"] = "nshortparallel";
macro2utf8["lozenge"] = "◊";
macro2utf8["nshortparallel"] = "∦︀";
utf82macro["∦︀"] = "nshortparallel";
macro2utf8["lozenge"] = "◊";