Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
(view source)
Revision as of 00:44, 31 August 2007
328 bytes added
,
00:44, 31 August 2007
→1.3.4.13. Formalization of OF : Objective Levels
:
fill column heads
Line 868:
Line 868:
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:90%"
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:90%"
|- style="background:paleturquoise"
|- style="background:paleturquoise"
−
| &
nbsp
;
+
|
''j'' : ''x'' <font face="system"><s>
&
lt
;
</s></font> ''y''
−
| &
nbsp
;
+
|
''j'' : ''y'' <font face="system"><s>
&
gt
;
</s></font> ''x''
|- style="background:paleturquoise"
|- style="background:paleturquoise"
−
| &
nbsp
;
+
|
''x'' <font face="system"><s>
&
lt
;
</s></font><sub>''j''</sub> ''y''
−
| &
nbsp
;
+
|
''y'' <font face="system"><s>
&
gt
;
</s></font><sub>''j''</sub> ''x''
|- style="background:paleturquoise"
|- style="background:paleturquoise"
−
| &
nbsp
;
+
|
''x'' <font face="system"><s>
&
lt
;
</s></font> ''y'' : ''j''
−
| &
nbsp
;
+
|
''y'' <font face="system"><s>
&
gt
;
</s></font> ''x'' : ''j''
|-
|-
| ''j'' sets ''x'' in ''y''.
| ''j'' sets ''x'' in ''y''.
Jon Awbrey
12,089
edits