User:Gert: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
== Syntax 1 Wiki == | |||
<!-- This is a comment --> | <!-- This is a comment --> | ||
<!-- ∀''x'' ('''cat'''(''x'') : ∃''y''('''likes(''y'', ''x'')) --> | <!-- ∀''x'' ('''cat'''(''x'') : ∃''y''('''likes(''y'', ''x'')) --> | ||