的概念换成了范畴论中的态射。公式 中的反序复合，同样适用于使用逆关系的关系复合，因此在群论中也适用。这些结构形成了dagger范畴。
排版.复合算子 编码为。参见Degree symbol条目中外观类似的Unicode字符。在TeX中，写作codice_1。