[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

Differences

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]
ptacek
user:ptacek:start [2010/05/11 15:37] (current)
ptacek
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 ]