Zdroj TeX:

\small \text{card} (A)+\text{card} (B) = \text{card}(A^ \ast)+\text{card}(B^ \ast)