_ : description: ket1 _ ket2 the infix operator for ket label merge merge the labels of the two kets, and multiply their coefficients Note the identity element for ket merging is the empty ket |> Ie, ket _ |> == |> _ ket == ket, for any ket examples: -- "week" + "day": |week> _ |day> |weekday> -- an abstract example showing the coefficient multiplication: 3|one> _ 5|two> 15|onetwo> see also: + , - , __ , :_ , .Home