λδ digital library (LDDL)
[Spacer]

homenewsspecificationspecification log
documentationimplementation
forewordmilestonesversion 2(background - syntax - core - applications)
version 2helenaOpen Symbolic Notation (OSN)
citationsvisibilityversion 1(background - core)(static HELM directory)version 1library(static LDDL directory)
Constant [butterfly]
Definition: t2 (ld:/Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/5248/t2.ld)
Informal description: ""
{λ[x:complex].​λ[y:complex].​λ[z:complex].​λ[u:complex].​λ[n:{(0c).​(y)}.​nis].​λ[o:{(0c).​(z)}.​nis].​λ[p:{(0c).​(u)}.​nis]}.​<{({(n).​(y).​(x)}.​ov).​({({(p).​(u).​(z)}.​ov).​({({(o).​(n).​(z).​(y)}.​satz221d).​({(z).​(y)}.​ts).​({(u).​(x)}.​ts)}.​ov)}.​ts)}.​is>.​{({({(p).​(o).​(u).​(z)}.​satz221d).​(n).​({(u).​(z)}.​ts).​(y).​(x)}.​satz246).​({({({(p).​(o).​(u).​(z)}.​satz221d).​(n).​({(u).​(z)}.​ts).​(y)}.​satz221d).​({(p).​({(o).​(n).​(z).​(y)}.​satz221d).​(u).​({(z).​(y)}.​ts)}.​satz221d).​({(u).​(z).​(y)}.​assts1).​({(p).​(o).​(n).​(u).​(z).​(y).​(x)}.​t1).​({({(u).​(z)}.​ts).​(y)}.​ts).​({(u).​({(z).​(y)}.​ts)}.​ts).​({({(u).​(z)}.​ts).​(x)}.​ts).​({(z).​({(u).​(x)}.​ts)}.​ts)}.​isov12).​({(p).​({(o).​(n).​(z).​(y)}.​satz221d).​(u).​(z).​({(z).​(y)}.​ts).​({(u).​(x)}.​ts)}.​satz247).​({(n).​(y).​(x)}.​ov).​({({({(p).​(o).​(u).​(z)}.​satz221d).​(n).​({(u).​(z)}.​ts).​(y)}.​satz221d).​({({(u).​(z)}.​ts).​(y)}.​ts).​({({(u).​(z)}.​ts).​(x)}.​ts)}.​ov).​({({(p).​({(o).​(n).​(z).​(y)}.​satz221d).​(u).​({(z).​(y)}.​ts)}.​satz221d).​({(u).​({(z).​(y)}.​ts)}.​ts).​({(z).​({(u).​(x)}.​ts)}.​ts)}.​ov).​({({(p).​(u).​(z)}.​ov).​({({(o).​(n).​(z).​(y)}.​satz221d).​({(z).​(y)}.​ts).​({(u).​(x)}.​ts)}.​ov)}.​ts).​(cx)}.​tr3is
Validation parameters: sort hierarchy = "Z2", kernel options = ""
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: Sat, 12 Dec 2020 10:46:54 +0100