[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]


This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
user:ptacek:start [2010/05/11 15:37]
user:ptacek:start [2010/05/11 15:37]
Line 135: Line 135:
 zmena zmena
-<​latex>​\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x) !!!</​latex>​+<​latex>​\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</​latex>​
 ~~NOTOC~~ ~~NOTOC~~

[ Back to the navigation ] [ Back to the content ]