Logiweb aspects of system Q in pyk

Up Help

The predefined "pyk" aspect

define pyk of system Q as text unicode start of text unicode small s unicode small y unicode small s unicode small t unicode small e unicode small m unicode space unicode capital q unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of system Q as text unicode start of text unicode capital z unicode capital f unicode small s unicode small u unicode small b unicode end of text end unicode text end text end define

The user defined "the statement aspect" aspect

define statement of system Q as all metavar var x end metavar indeed all metavar var y end metavar indeed all metavar var z end metavar indeed metavar var x end metavar * metavar var y end metavar * metavar var z end metavar = metavar var x end metavar * metavar var y end metavar * metavar var z end metavar rule plus all metavar var fx end metavar indeed all metavar var fy end metavar indeed R( metavar var fx end metavar ) << R( metavar var fy end metavar ) infer metavar var fx end metavar