Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
user:ptacek:start [2010/05/11 15:18] ptacek |
user:ptacek:start [2010/05/11 15:37] ptacek |
||
---|---|---|---|
Line 135: | Line 135: | ||
zmena | zmena | ||
- | <math>\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</math> | + | <latex>\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</latex> |
~~NOTOC~~ | ~~NOTOC~~ |