5,849
edits
Line 403: | Line 403: | ||
<div style="text-align: center; margin-left: auto; margin-right: auto;">$$ C ⇝ \unicode{x2215}\kern-0.55em S(C) $$</div> | <div style="text-align: center; margin-left: auto; margin-right: auto;">$$ C ⇝ \unicode{x2215}\kern-0.55em S(C) $$</div> | ||
<div style="text-align: center; margin-left: auto; margin-right: auto;">$$ P_{U(\unicode{x2215}\kern-0.4em S)} = P_{U(128)} $$</div> | <div style="text-align: center; margin-left: auto; margin-right: auto;">$$ P_{U(\unicode{x2215}\kern-0.4em S)} = P_{U(128)} $$</div> |